OpenAI's Next-Gen Astra Model Solves 10 Open Math Problems
polynoamial · x · 2026-08-01
An OpenAI researcher revealed that their next major model, Astra, has achieved significant breakthroughs in mathematics and theoretical computer science. The model successfully found new proofs for 10 long-standing open problems, including new circuit lower bounds for computing the permanent.
According to the post, this incredible work was completed by the team and the model in just one week. The researcher highlighted how the next generation of models will remarkably accelerate research and breathe new life into old problems.
Related event: OpenAI's Internal Model Astra Cracks 10 Major Math Problems(99 posts)→
More from Models
- Leaking deep residual vectors into early layers may fix state tracking in frozen LLMs, zero retraining — burny_tech · 2026-09-18
- Models know they're reward hacking in 50-96% of rollouts, Goodfire's activation monitors catch it in real time — burny_tech · 2026-09-18
- Qwen3.8-Omni-Flash cuts overlapping-speech error rate from 88% to 3% and drops audio API pricing 98% — karminski3 · 2026-09-18
- Qwen3.8-Omni-Flash: meeting ASR errors cut from 88% to 3%, API prices down 98% — karminski3 · 2026-09-18
- Gemini 3.8 live beats gpt-live-1 on some benchmarks, say insiders — bosmeny · 2026-09-18
- 105 planted bugs benchmark: Unbiased's Pareto scores 30.7 for just $4.81 — PawelHuryn · 2026-09-18