OpenAI Publishes 377 Math Results From Unreleased Model on GitHub

OpenAI released 377 new math results on GitHub on Tuesday and published a blog post describing how it is sharing them. The company said the results come from the same internal, unreleased model that produced its earlier Navier-Stokes result.

According to OpenAI's blog post, one of the released papers claims to prove the full Birch-Swinnerton-Dyer leading term formula for elliptic curves over Q when their q-power Selmer group has corank zero or one at some prime q. The post says OpenAI wants to directly empower scientists with state-of-the-art capabilities and is working to responsibly release the model that produced these results. It also says the company is including protocols for paper revisions and citations.

OpenAI spokesperson Lindsay McCallum Rémy said advice and public recommendations from the Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study have informed how OpenAI is sharing the results. OpenAI says it has been working with AGMAI to develop best practices.

About a month before this article, the same unreleased OpenAI model produced a counterexample disproving the Navier-Stokes equations. It later emerged that OpenAI had finished work being done by another team of mathematicians also using AI.

In a September 29 blog post, AGMAI wrote that some frontier AI labs test advanced mathematical problems on proprietary models inaccessible to the broader scientific community and asked them to stop. OpenAI announced a partnership with AGMAI late last month.