OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
OpenAI has published 372 AI-generated mathematical results on GitHub, including Lean formalizations for machine verification. Each result consumed about three hours of ChatGPT Pro compute on average. But 25 Fields Medal winners warn that mass-producing mathematical truths could…
- 01.OpenAI has published 372 AI-generated mathematical results on GitHub, including Lean formalizations for machine verification
- 02.Each result consumed about three hours of ChatGPT Pro compute on average
- 03.But 25 Fields Medal winners warn that mass-producing mathematical truths could…
Материал кеңейтілген талдамалық дайджест форматында берілген.
Толық нұсқасын түпнұсқадан оқуБайланысты материалдар
Барлығы →ChatGPT PIN-код және Face ID қорғауымен жабық чаттарды енгізіп отыр
OpenAI ChatGPT-ке жеке перепискаларды PIN-код немесе биометриялық қорғау арқылы жасыруға мүмкіндік беретін жабық чаттар функциясын енгізуде. Бұл жаңарту жеке сөйлесулерді басқа адамдардан жасыруға көмектеседі, хатта пайдаланушы өз телефонын басқаларға берсе де.
Microsoft-тың MAI-DxO жүйесі күрделі ауруларды дәрігерлерден дәлірек анықтады
Microsoft әзірлеген MAI-DxO жасанды интеллект жүйесі күрделі клиникалық жағдайларды диагностикалау кезінде жалпы практика дәрігерлерінен жоғары нәтиже көрсетті. Ішкі сынақтарда жүйенің диагноз қою дәлдігі 80%-дан асып, кейбір көрсеткіштер бойынша дәрігерлердің нәтижесінен екі…
Швеция Үкіметінің жұмыс компьютерлерінде ChatGPT және Claude-қа қол жеткізу шектелді
10 қазаннан бастап Швеция Үкіметінің қызметкерлері ресми компьютерлерде ChatGPT және Claude-ның браузерлік нұсқаларын пайдалана алмайды. Мемлекеттік органдар мемлекетке келісілмеген ИИ қызметтерін пайдалану құпия деректердің кетуіне әкелуі мүмкін деп қорқытады, деген хабар...