OpenAI's Astra Model Solves 10 Math Problems, Costing ~$2,000 Each
imjustnewatai · x · 2026-08-01
OpenAI announced ten major advances in mathematics and theoretical computer science using its next major model, Astra. The breakthroughs tackle open problems in areas like sphere packing, coding theory, and lattice cryptography that had seen no progress for at least a decade.
An internal version of Astra generated the mathematical arguments, collaborating with humans to prepare 249-page manuscripts, and then formalized each argument in Lean. OpenAI estimates the solution-search tokens across all ten problems cost roughly $2,000 at current API rates.
If these papers survive community review, it suggests scientific discovery is becoming a scaling problem. OpenAI also plans to provide frontier models to 100,000 researchers through 2027.
Related event: Rumored OpenAI Astra Model Solves 10 Major Math Problems(19 posts)→
More from Models
- DeepSeek V4F-0731 Underperforms on EQ-Bench v4: Does Heavy RL Hurt Model Personality? — xeophon · 2026-08-01
- AI Model Fable Attempts Mathematical Proofs for Its Discovered Laws — repligate · 2026-08-01
- Claude Pro Bug: Usage Limit Shows 100% in Fresh Incognito Mode — Worldly-Topic5179 · 2026-08-01
- Speechify's Simba 3.2 Tops Voice Leaderboard at 1/10th the Cost — PrajwalTomar_ · 2026-08-01
- Opinion: AI Video Processing Is Too Costly, Needs Native Vision Tools — JoelMahon · 2026-08-01
- Users Report Claude Becoming Cold and Clinical Due to Safety Limits — Alteregoj · 2026-08-01