OpenAI's Astra Solves Ten Unsolved Math Problems, Including Unit Distance Conjecture
OpenAI's new model, Astra, has made headlines by solving ten previously unsolved mathematical problems, including the Unit Distance Conjecture. This breakthrough was demonstrated by Sebastien Bubeck, who highlighted the model's ability to generate significant results in pure mathematics and theoretical computer science, with a total compute cost of approximately $2,000.
Fields Medal winner Timothy Gowers praised Astra, noting that its predecessor, GPT 5.6 Pro, solved two of his long-standing problems on the first attempt. Astra is designed to allow multiple agents to collaborate on complex challenges over extended periods, enabling mathematicians to tackle intricate problems more efficiently than traditional methods.
Why it matters: Astra's ability to solve complex mathematical problems at a low compute cost of $2,000 can accelerate breakthroughs in mathematical research, directly benefiting mathematicians and researchers who previously faced years of work on similar challenges, potentially reducing resolution times significantly.
Key Takeaways
- Astra's compute cost for generating results is approximately $2,000.
- Timothy Gowers reported that GPT 5.6 Pro solved two of his problems instantly.
- Astra's collaborative model allows multiple agents to work on complex problems for extended periods, potentially increasing efficiency in mathematical research.