OpenAI has announced that an internal version of its next major model, called Astra, has solved or made substantial progress on 10 long-standing open problems in mathematics and theoretical computer science. The problems span high-dimensional geometry, coding theory, group theory, quantum complexity, and other specialized fields that have challenged mathematicians for years or decades. The total computing cost to find these solutions was approximately $2,000 at current API rates, according to OpenAI.

This announcement marks a significant moment in the evolution of AI as a research tool. Rather than simply generating text or answering questions, the Astra model demonstrated the ability to tackle problems at the frontier of human mathematical knowledge. OpenAI formalized each solution in Lean, a formal verification language, and released narrations of the model's reasoning process alongside the results.

What Problems Did the AI Model Solve?

The ten advances span multiple mathematical disciplines and address questions that have occupied researchers for years. OpenAI's announcement included the following breakthroughs:

• High-dimensional sphere packing: New upper bounds on sphere-packing density down to the Cohn-Elkies threshold, a foundational problem in geometry.
• Binary and spherical codes: Exponentially improved bounds on the maximum size of binary codes at any prescribed minimum distance, with analogous results for high-dimensional spherical codes.
• Non-sofic groups: A construction establishing the existence of non-sofic groups, addressing a central open question in group theory.
• Connes's rigidity conjecture: Disproof of a longstanding conjecture that certain groups are uniquely determined by their von Neumann algebras.
• Arithmetic circuit complexity: New lower bounds for computing the permanent using arithmetic circuits and formulas, including an arithmetic-formula lower bound of order n4/log n.
• Quantum parallel repetition: An exponential parallel repetition theorem for general two-player quantum games, extending a foundational principle from classical complexity theory.
• Closest vector problem: Polynomial-factor hardness of approximation for the closest vector problem, a foundational lattice question related to post-quantum cryptography.
• Ehrhart's volume conjecture: Determining, in every dimension, the maximum possible volume of a convex body whose centroid is its only interior lattice point.
• Multicolor Ramsey numbers: A superexponential lower bound for multicolor triangle Ramsey numbers, resolving Erdős problem 183.
• Extremal number conjectures: Results on the compactness and degeneracy conjectures in extremal graph theory, resolving Erdős problems 146 and 180.

Several of these problems have direct relevance to cryptography, quantum computing, and other fields with practical applications. The closest vector problem, for instance, relates to post-quantum cryptography, which is increasingly important as quantum computing advances.

How Is OpenAI Positioning AI as a Research Collaborator?

OpenAI has taken steps to integrate AI tools into the academic research workflow. The company recently announced ChatGPT for Academic Researchers, an initiative providing 100,000 scientists and mathematicians with free access to its best ChatGPT models. This effort reflects OpenAI's stated goal to "empower scientists and mathematicians with tools that accelerate discovery".

The mathematical breakthroughs were achieved by having humans prepare the model's arguments into manuscripts and then formalize each argument in Lean. This hybrid approach, combining AI reasoning with human verification and formalization, represents a new model for how AI systems might contribute to research. OpenAI emphasized that it takes responsibility for the correctness of the proofs while acknowledging that the mathematical arguments themselves were generated by the system.

What Does This Mean for Attribution and AI Ethics in Research?

OpenAI's announcement touches on a sensitive issue in the academic community: how to properly attribute work when AI systems contribute substantially to research. The company stated that "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." This position reflects growing debate about AI's role in academia and the need for honest attribution practices.

The announcement also references the Leiden Declaration on AI and Mathematics, indicating that OpenAI is aware of concerns within the mathematical community about AI's impact on the discipline. The company expressed "deep respect and understanding for those concerned with its impact," suggesting an acknowledgment that not all mathematicians welcome AI-generated proofs.

The work has already begun to inspire further research. Following OpenAI's May announcement of an AI-generated disproof of the Erdős unit-distance conjecture, subsequent research has built on that finding, including work on the sum-product conjecture, split primes, and communication complexity problems. This suggests that AI-generated results can serve as springboards for human mathematicians to develop new ideas and directions.

Why Should Researchers and the Public Care About This Development?

The ability of AI systems to contribute to mathematical research has implications beyond academia. Many of the problems solved by Astra have connections to cryptography, quantum computing, and theoretical computer science. Advances in these areas can eventually influence how technology is built and secured. The relatively low cost of finding these solutions, roughly $2,000 in computing power, also raises questions about how AI might democratize access to advanced research capabilities.

OpenAI emphasized that "ensuring widespread access is fundamental to supporting scientists and mathematicians as they navigate and define the future of their disciplines during this transformative era." This suggests the company views AI-assisted research as a tool that should be available broadly, not just to well-funded institutions.

" }