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…
This material is provided as an extended analytical summary.
Read full article at sourceRelated Intelligence
All stories →AI Just Did Something That Shouldn't Be Possible
Last night, OpenAI announced that its AI made three brand new discoveries. One in mathematics, one in computer science, and one in physics. Not homework, not exam questions, discoveries. Problems that some of the smartest people who have ever lived have been stuck on for…
OpenAI представила четыре выдающихся научных результата, полученных с помощью собственной экспериментальной ИИ-модели...
OpenAI представила четыре выдающихся научных результата, полученных с помощью собственной экспериментальной ИИ-модели, которая до сих пор остаётся недоступной широкой публике. 1. Математика. Модели удалось доказать гипотезу Какеи во всех размерностях. Прежде математики…
OpenAI unveils AI-powered personal assistant dots
OpenAI introduces new personal assistant dots running in the background