OpenAI Says It Has Solved 10 Open Math Problems Using Astra, Its New Model
...OpenAI announced on August 1 that an internal version of Astra, the model it has been previewing to regulators and lawmakers in Washington over the past week, produced new results on ten open problems spanning sphere packing, group theory, complexity theory, and extremal combinatorics....
https://officechai.com/ai/openai-says-it-has-solved-10-open-math-problems-using-astra-its-new-model/
Ten advances in mathematics and theoretical computer science - OpenAI
...OpenAI shares new results on long-standing open problems in mathematics and theoretical computer science, including advances in geometry, cryptography, and complexity....
https://openai.com/index/ten-advances-in-mathematics/
OpenAI Astra?s 10 Math Proofs Explained | explainx.ai Blog
...OpenAI says Astra solved 10 open math and computer science problems. See the claims, Lean evidence, and what still needs independent review....
https://explainx.ai/blog/openai-astra-ten-math-proofs-lean-certificates-2026
OpenAI says its next model, Astra, has solved ten open problems in ...
...OpenAI says an internal version of its next major model, called Astra, has produced ten new results in mathematics and theoretical computer science. Each of the problems had been open......
https://thenextweb.com/news/openai-astra-model-ten-math-proofs-non-sofic-groups
OpenAI New Astra Model Solves 10 Major Math Problems For $2,000 Total ...
...OpenAI has used its upcoming Astra AI model to solve 10 long-standing open problems in mathematics and theoretical computer science, completing the complex tasks for a total compute cost of approximately $2,000....
https://huggingnews.com/ai/openai-new-astra-model-solves-10-major-math-problems-for-2000-total-cost-b45f50f5
OpenAI Research | Publication
...OpenAI shares new results on long-standing open problems in mathematics and theoretical computer science, including advances in geometry, cryptography, and complexity....
https://openai.com/research/index/publication/
OpenAI's Next-Gen Model "Astra" Solves 10 Math Problems Stuck for Over ...
...OpenAI's next-generation model "Astra" has resolved 10 unsolved problems in mathematics, including the Erd?s conjecture....
https://xenospectrum.com/en/openai-astra-ten-math-advances/
An OpenAI model solved a famous math problem that stumped humans for 80 ...
...On May 22, two days after OpenAI?s announcement, Google announced that its AI system had solved nine open Erd?s problems, including two that had been open for over 50 years....
https://arstechnica.com/ai/2026/06/openais-math-breakthrough-played-to-ais-strengths/
An OpenAI model has disproved a central conjecture in discrete geometry
...It marks the first time that a prominent open problem, central to a subfield of mathematics, has been solved autonomously by AI. It also demonstrates the depth of reasoning these systems now support....
https://openai.com/index/model-disproves-discrete-geometry-conjecture/
Research - OpenAI
...OpenAI shares new results on long-standing open problems in mathematics and theoretical computer science, including advances in geometry, cryptography, and complexity....
https://openai.com/research/index/
OpenAI claims it solved an 80-year-old math problem - TechCrunch
...Seven months ago, the AI giant?s former VP Kevin Weil posted on X: ?GPT-5 found solutions to 10 (!) previously unsolved Erd?s problems and made progress on 11 others.? It turns out, GPT-5......
https://techcrunch.com/2026/05/20/openai-claims-it-solved-an-80-year-old-math-problem-for-real-this-time/