OpenAI Unleashes Hundreds More Math Results Upon a Field Already In Shock
(Saturday October 10, 2026 @03:54PM (BeauHD)
from the floodgates-are-open dept.)
OpenAI [1]says an unreleased internal model has [2]produced 372 results that either resolve or make substantial progress on open problems in mathematics and theoretical computer science . The company says almost all were generated by a single AI agent from a single prompt. "This would be a striking difference from OpenAI's [3]earlier blockbuster solution to the Navier-Stokes problem, which was produced through the collective efforts of a 10,000-strong agentic swarm that cost millions of dollars in computing power," reports Scientific American. From the report:
> OpenAI revealed the results in a [4]GitHub repository at 6 P.M. EDT. The deluge will take mathematicians months to parse through and understand -- including to determine whether the proofs contain novel and important ideas or are mostly mash-ups of existing techniques. But many of the results have already been verified in Lean -- a programming language that validates a proof's logic -- and are therefore all but certain to be correct.
>
> Among the results claimed are a solution to the four-dimensional [5]Kakeya conjecture , improvements on some of the world's most important computer algorithms and actual progress toward math's scariest problem, the [6]Riemann hypothesis .
[1] https://openai.com/index/sharing-ai-progress-in-mathematics/
[2] https://www.scientificamerican.com/article/openai-unleashes-hundreds-more-math-results-upon-a-field-already-in-shock/
[3] https://science.slashdot.org/story/26/09/08/2228220/openai-says-it-has-cracked-one-of-maths-millennium-problems
[4] http://github.com/openai/math
[5] https://en.wikipedia.org/wiki/Kakeya_set
[6] https://en.wikipedia.org/wiki/Riemann_hypothesis
> OpenAI revealed the results in a [4]GitHub repository at 6 P.M. EDT. The deluge will take mathematicians months to parse through and understand -- including to determine whether the proofs contain novel and important ideas or are mostly mash-ups of existing techniques. But many of the results have already been verified in Lean -- a programming language that validates a proof's logic -- and are therefore all but certain to be correct.
>
> Among the results claimed are a solution to the four-dimensional [5]Kakeya conjecture , improvements on some of the world's most important computer algorithms and actual progress toward math's scariest problem, the [6]Riemann hypothesis .
[1] https://openai.com/index/sharing-ai-progress-in-mathematics/
[2] https://www.scientificamerican.com/article/openai-unleashes-hundreds-more-math-results-upon-a-field-already-in-shock/
[3] https://science.slashdot.org/story/26/09/08/2228220/openai-says-it-has-cracked-one-of-maths-millennium-problems
[4] http://github.com/openai/math
[5] https://en.wikipedia.org/wiki/Kakeya_set
[6] https://en.wikipedia.org/wiki/Riemann_hypothesis