OpenAI's Astra lands amid breakthrough run: Navier-Stokes, twin primes and ten open problems
lishali88 · x · 2026-09-08
An extraordinary few weeks for AI math: progress on the Navier–Stokes resolution, the twin prime conjecture, and advances on ten open problems including sphere packing and non-sofic groups. The author interviews OpenAI's Mark Sellke and Mehtaab Sawhney about how the Astra system found several of these results and what the process reveals.
Related event: OpenAI's Astra Cracks Progress on Ten Open Math Problems(5 posts)→
More from Models
- Watch Astra beat Montezuma's Revenge, RL's infamous benchmark game — emollick · 2026-09-09
- Model Can't Draw ASCII Whales, So It Writes a Node.js Script to Improve — teortaxesTex · 2026-09-09
- Blender head-to-head: same prompt, 12 seconds, and one frontier model is in a different class — ZeroStateReflex · 2026-09-09
- Netlify adds GPT-6 Astra, Gemini 3.8 Flash, Claude Fable 5.1 and smarter Agent Runner scoping — thisiskp_ · 2026-09-09
- GLM-5.3-Flash tops agentic tool-call leaderboard at 78%, priced at just $0.50/M output tokens — shensi · 2026-09-09
- Artificial Analysis Updated Benchmarks Twice in 4 Days for Astra — py-net · 2026-09-09