OpenAI Announces Astra Model, Solving 10 Major Math Problems
AI寒武纪 · wechat · 2026-08-01
OpenAI officially announced its next-generation model, Astra, revealing ten major breakthroughs in mathematics and theoretical computer science. The model successfully solved long-standing problems like high-dimensional sphere packing and the Connes embedding conjecture, with a total compute cost of only about $2,000.
The workflow was highly efficient: Astra generated the mathematical arguments, human researchers assisted with drafting, and the model then translated the arguments into Lean code for formal verification. OpenAI emphasized that all mathematical arguments were generated by AI, while humans only assisted with manuscript preparation and took final responsibility. This marks a significant step for AI as an advanced research collaborator, raising profound ethical questions about attribution in the mathematical community.
Related event: OpenAI's Internal Astra Model Solves 10 Major Math Problems(20 posts)→
More from Models
- OpenAI's Internal Astra Model Reportedly Solves 10 Major Math Problems — daniel_mac8 · 2026-08-01
- OpenAI's Next-Gen 'Astra': A Multi-Agent System Tackling Hard Science — daniel_mac8 · 2026-08-01
- DeepSeek V4-Flash Silently Upgraded: Terminal-Bench Score Jumps 25.8 Points — alejandroll10 · 2026-08-01
- Astra Costs $2,000 for 10 Math Problems, Noam Brown Praises — daniel_mac8 · 2026-08-01
- OpenAI's Price Cuts, Rapid Releases, and Math Breakthroughs Signal Takeoff — basedjensen · 2026-08-01
- DeepSeek V4F-0731 Underperforms on EQ-Bench v4: Does Heavy RL Hurt Model Personality? — xeophon · 2026-08-01