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-кодом или биометрической защитой. Нововведение поможет сохранить личные разговоры недоступными для других людей, даже если пользователь передаст им свой телефон или…
Система MAI-DxO Microsoft диагностировала сложные заболевания точнее, чем врачи
Система искусственного интеллекта MAI-DxO, разработанная Microsoft, показала более высокие результаты, чем врачи общей практики, при диагностике сложных клинических случаев. Во внутренних тестах точность диагноза системы превысила 80%, а по некоторым показателям она была в два раза выше результатов врачей…
Швеция ограничила доступ к ChatGPT и Claude на рабочих компьютерах правительства
С 26 октября сотрудники аппарата правительства Швеции не могут пользоваться браузерными версиями ChatGPT и Claude на служебных компьютерах. Власти опасаются, что работа с не согласованными государством ИИ-сервисами может привести к утечке конфиденциальных данных, передает…