OpenAI releases a range of new mathematical results produced by an internal model, with details like estimations of compute spent in terms of ChatGPT Pro usage (OpenAI)
We're releasing a broad range of new mathematical results produced by an internal frontier model.
OpenAI has released a collection of mathematical results produced by an internal model. The results, which are available in a GitHub repository, include 722 manuscripts organized into 372 families, each classified by mathematical discipline.
According to Hacker News, the model was posed approximately 4,000 problems, and on average, each result used three hours of ChatGPT Pro thinking compute. The results were obtained using an unreleased internal OpenAI model, with the majority produced using the same procedure.
The release of these results follows a recent breakthrough in mathematics, and Scientific American reports that many of the results have already been verified in Lean, a programming language that validates a proof's logic. A spokesperson for OpenAI stated that the new model produced almost every one of the results in response to a single prompt handed to a single AI agent.
Brief written by urgent.news from Techmeme, Hacker News, Scientific American — 3 reports on this story. Machine-written — may contain errors; check the original before relying on it.
This story
This is one outlet's version. Read the fullest account.
- OpenAI unleashes hundreds more math results upon a field already in shock scientificamerican.com