OpenAI's upcoming Astra model has solved 10 long-standing mathematical problems, including a $2,000 breakthrough in high-dimensional geometry. The company is sharing these results to empower the mathematical community and accelerate discovery.
TL;DR
- OpenAI's Astra model has solved 10 open math problems, including a $2,000 breakthrough in high-dimensional geometry.
- The results span various fields, including coding theory, group theory, and quantum complexity.
- OpenAI is releasing the solutions and the model's thinking process to encourage further research and collaboration.
What happened
OpenAI's Astra model has achieved new results for 10 open mathematical problems that have seen no progress for at least a decade. The problems span high-dimensional geometry, coding theory, arithmetic circuit complexity, group theory, operator algebras, quantum complexity, lattice cryptography, and extremal combinatorics. According to OpenAI, the total number of tokens needed to find solutions to these problems would cost roughly $2,000 at Sol API rates.
The results were achieved by an internal version of Astra, OpenAI's next major model. The arguments were prepared into manuscripts by humans using the same model and then formalized in Lean certificates. OpenAI is also releasing the model's narration of its thinking process for each solution.
In May, OpenAI shared an AI-generated disproof of the Erdős unit-distance conjecture, discovered while evaluating an unreleased model. This work has already inspired further developments in mathematics and theoretical computer science.
Why it matters
These results demonstrate the potential of AI models to contribute to mathematical research and accelerate discovery. OpenAI's initiative to provide 100,000 scientists and mathematicians with free access to their best ChatGPT models shows a commitment to empowering the mathematical community.
The solutions to these problems have substantial interest within their respective mathematical communities and several are of broad interest across mathematics as a whole. The release of these results and the model's thinking process encourages further research and collaboration.
As AI systems evolve into more sophisticated research collaborators, ensuring widespread access is fundamental to supporting scientists and mathematicians as they navigate and define the future of their disciplines during this transformative era.
Key facts
- OpenAI's Astra model has solved 10 open mathematical problems that have seen no progress for at least a decade.
- The problems span high-dimensional geometry, coding theory, arithmetic circuit complexity, group theory, operator algebras, quantum complexity, lattice cryptography, and extremal combinatorics.
- The total number of tokens needed to find solutions to these problems would cost roughly $2,000 at Sol API rates.
- The arguments were prepared into manuscripts by humans using the same model and then formalized in Lean certificates.
- OpenAI is releasing the model's narration of its thinking process for each solution.
- In May, OpenAI shared an AI-generated disproof of the Erdős unit-distance conjecture, discovered while evaluating an unreleased model.
- OpenAI is providing 100,000 scientists and mathematicians with free access to their best ChatGPT models.
- The results include new upper bounds on sphere-packing density, improved bounds on the maximum size of binary codes, a construction establishing the existence of non-sofic groups, and more.
Context
The emergence of systems capable of contributing to mathematical research raises questions that cannot be answered by a technology company alone. There are many views as to the role of AI in mathematics, and OpenAI has deep respect and understanding for those concerned with its impact.
OpenAI believes attribution should honestly reflect how a result was produced. Claiming human authorship for a proof generated entirely by an AI system would misrepresent both the system's contribution and the nature of genuine human intellectual work.
As AI systems evolve into more sophisticated research collaborators, ensuring widespread access is fundamental to supporting scientists and mathematicians as they navigate and define the future of their disciplines during this transformative era.