A month after its Millennium Prize solution, OpenAI released findings on more than 300 problems—and tried to win back the ...
After a previous solution angered mathematicians, the company characterized the new release as being more responsive to ...
The company said that most results were produced in a response to a single prompt given to a single AI agent.
OpenAI posted 722 AI-written math manuscripts from an unreleased model, saying most came from a single prompt.
This staggering quantity of mathematical progress builds on AI developments that have unsettled the research community.
Such a glut has left some queasy. The excitement of potential new mathematical truths is, for many researchers, freighted ...
OpenAI organized the results into 372 groups and said it had given the model about 4,000 problems. The release gives ...
OpenAI plans to release hundreds of AI-generated math solutions on GitHub, including formal Lean 4 proofs for longstanding ...
OpenAI posted 719 math manuscripts from an unreleased model a week after its advisory group asked labs to stop testing math ...
OpenAI has released AI-generated math results, prompting debate over proof verification, and the pace of mathematical ...
In a research post published October 6, 2026, OpenAI said it is releasing a broad range of new mathematical results produced ...
OpenAI has published hundreds of mathematical results generated by an internal model, opening a new chapter in AI-assisted ...