OpenAI publishes 370+ mathematical findings; experts question whether anyone can actually verify them
Published · updated · curated by AI Is Going Just Great
Source: theguardian.com ↗
"The use of proprietary internal models by AI labs to do mathematical research risks creating a two-tier system where labs outrun the rest of the field, effectively alienating the mathematical community from its own discipline."
OpenAI released over 370 mathematical results on October 7, 2026, covering algebra, theoretical computer science, and mathematical logic — following its September claim of solving the Navier-Stokes equation, one of mathematics' seven Millennium Prize Problems worth $1 million to whoever cracked it. The findings were produced by proprietary AI models that the broader mathematics community cannot access or independently check.
The Institute for Advanced Study at Princeton declined to endorse the approach, noting that the AI "can output mathematical arguments in situations without the human who prompted it being able to understand the arguments, verify them, or take responsibility for them." NYU mathematician Tristan Buckmaster raised a sharper concern: researchers prompting the models may be inadvertently feeding them information that helps generate the result, meaning some "findings" could amount to taking someone else's partial work to completion. OpenAI agreed to collaborate with the Institute to give mathematicians "a voice," but did not commit to stopping proprietary model use on advanced problems.