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…
Материал представлен в формате расширенного аналитического дайджеста.
Читать полную версию в первоисточникеСвязанные материалы
Все материалы →ИИ только что сделал то, что не должно быть возможным
Вчера вечером OpenAI объявила, что ее ИИ сделал три совершенно новых открытия. Один по математике, один по информатике и один по физике. Не домашние задания, не экзаменационные вопросы, открытия. Проблемы, из-за которых застряли некоторые из самых умных людей, когда-либо живших на свете…
OpenAI представила четыре выдающихся научных результата, полученных с помощью собственной экспериментальной ИИ-модели...
OpenAI представила четыре выдающихся научных результата, полученных с помощью собственной экспериментальной ИИ-модели, которая до сих пор остаётся недоступной широкой публике. 1. Математика. Модели удалось доказать гипотезу Какеи во всех размерностях. Прежде математики…
OpenAI представила персонального помощника dots на основе ИИ
OpenAI представила нового персонального помощника dots, работающего в фоновом режиме.