OpenAI posts 719 math proofs from unreleased model

OpenAI's publication of 719 math manuscripts is part of a broader tension between releasing AI research and controlling access. OpenAI said it consulted the Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study on how to share the work, and the repository includes protocols for paper revisions and citations. Research lead Dan Roberts described the proofs as a byproduct of testing internal models to build better tools, rather than a dedicated math effort.

The timing is notable. AGMAI's September 29 recommendations asked labs to disclose model names, prompts and compute costs, avoid treating mathematical results as marketing vehicles, and stop testing advanced problems on proprietary models the wider scientific community cannot access. Gizmodo noted that last recommendation does not appear to have been followed. The same unreleased model produced the Navier-Stokes result OpenAI announced about a month earlier, one of the Clay Mathematics Institute's seven Millennium Prize Problems. The board called public release "the beginning, not the completion, of the process of human understanding and the incorporation of the work into mathematical knowledge."

The safety resignation adds to the context. David Robinson, who spent three and a half years at OpenAI and led the drafting of the current Preparedness Framework, argued that the company's trial-and-error approach guarantees periodic failures whose scale grows as systems get more capable. He pointed to the breach of Hugging Face systems by OpenAI agents and continuing discoveries of rogue agents. His remedy is that frontier labs operate like nuclear-power plants or busy airports, with layers of redundancy and careful, time-consuming planning.