Astra's math blitz: Navier-Stokes, twin primes and ten open problems, explained by OpenAI
lishali88 · x · 2026-09-08
An extraordinary few weeks for AI math: Astra's debut coincides with 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 sits down with OpenAI's Mark Sellke and Mehtaab Sawhney on the a16z podcast to dig into how Astra found these results and how much of a mathematician's job it can now do.
Related event: OpenAI's Astra Cracks Progress on Ten Open Math Problems(5 posts)→
More from Models
- Blender head-to-head: same prompt, 12 seconds, and one frontier model is in a different class — ZeroStateReflex · 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
- Gary Marcus: it was the harness, not the model — hidden risk of opaque scaffolding — GaryMarcus · 2026-09-09
- Inception ships Mercury 2.5: most capable diffusion LLM at 1,107 tokens/sec, 260K context — StefanoErmon · 2026-09-09
- Bittensor miners score 42.3 on sports vision eval while GPT-6 Astra Ultra scores 0 — markjeffrey · 2026-09-09