OpenAI Publishes Hundreds of Math Solutions Using Unreleased Proprietary Software

OpenAI has made public a collection of 377 technical mathematics results, depositing the findings in a repository on GitHub alongside an explanatory statement on its corporate website. The material includes work on long-standing problems, including a proof addressing the Birch-Swinnerton-Dyer leading term formula for specific elliptic curves.

The findings were generated by an unreleased internal system that remains unavailable to outside researchers. That same automated tool was previously credited with finding a counterexample to the Navier-Stokes equations roughly four weeks earlier, a project where OpenAI completed calculations begun by an independent team of mathematicians.

The decision to publish outputs from private software runs counter to public advice from the Advisory Group on Mathematics and Artificial Intelligence, an initiative based at the Institute for Advanced Study. In late September, the advisory group published a statement objecting to commercial research labs applying closed, proprietary models to advanced mathematical questions without sharing the underlying tools.

OpenAI acknowledged tensions within the scientific discipline, stating in its announcement that it seeks to equip researchers with advanced computing capabilities and intends to make the system available eventually. The company stated that it has been collaborating with the Institute's advisory panel to outline standards for academic citations and document revisions.

OpenAI representative Lindsay McCallum Rémy noted that the company adjusted its disclosure process to reflect the advisory group's guidance, adding that the laboratory plans to adapt its publishing routines as external researchers evaluate the uploaded solutions.

Whether the uploaded proofs withstand scrutiny from professional mathematicians remains undetermined, as specialists begin reviewing the hundreds of technical arguments provided in the repository.