OpenAI discloses internal model's mathematical results

OpenAI released solutions to hundreds of difficult math problems this week, saying it had consulted an advisory group of elite mathematicians, but the work did not fully meet the group's standards. The advisory group on Mathematics and AI (AGMAI), hosted by the Institute for Advanced Study in Princeton, issued guidelines in late September. Its first requirement was to stop testing difficult math problems on proprietary models, while OpenAI explicitly said it was using open research problems to evaluate its proprietary models.

OpenAI posted 372 mathematical results generated by an internal frontier model in a GitHub repository. It says each result solves or substantially advances an open problem, including improvements to major computational algorithms and progress related to the Riemann hypothesis.

OpenAI published mathematical results from an unreleased internal frontier model through a blog, GitHub repository, and posts. The release includes 722 manuscripts grouped into 372 related result families, drawn from an evaluation of about 4,000 research questions. Each result used an average of about three hours of ChatGPT Pro reasoning compute.

OpenAI released new mathematical results produced by an internal frontier model, with related code and results at github.com/openai/math. OpenAI said it consulted an independent advisory group on mathematics and AI at the Institute for Advanced Study in Princeton about how to publish the work and considered its recommendations. Greg Brockman reposted the announcement, saying it points toward accelerating scientific discovery and improving quality of life for everyone.

OpenAI released 722 mathematical manuscripts grouped into 372 result clusters. They all came from an unreleased internal model, and the papers, source code, and some Lean proofs have been uploaded to GitHub. Topics include the quasi-Riemann hypothesis, Hodge conjecture, BSD conjecture, and the irrationality measure of π, spanning 17 areas. OpenAI says the model attempted about 4,000 research questions, with compute for each result averaging about three hours of ChatGPT Pro reasoning.

We are entering a new era of discovery: https://openai.com/index/sharing-ai-progress-in-mathematics/

OpenAI published 722 manuscripts across 372 result families. According to the newly formed independent advisory group AGMAI, the collection includes answers to hundreds of open problems, produced by an unreleased frontier model.

OpenAI released a batch of mathematical results produced by an internal frontier model, with related code and materials hosted at github.com/openai/math. OpenAI said it consulted an independent advisory group on mathematics and AI at the Institute for Advanced Study in Princeton and considered its recommendations and public guidance when deciding how to publish the work.

OpenAI released new results by an internal frontier model on open math problems and published Lean formalizations and research details on GitHub.