Months of math work done in 26 minutes: Astra delivers 38-page constant-size proof
kfountou · x · 2026-09-06
Two researchers say it took them months to reduce an alphabet size in a proof from exponential to polynomial — Astra then produced a 38-page constant-size version plus other extensions in 26 minutes, showcasing frontier-model power in mathematical research.
More from Models
- Dev calls GPT-6 Astra influencer-first rollout annoying but says it's the best model yet — AIandDesign · 2026-09-06
- Is GPT-6 Astra painting a portrait in Canva actually unimpressive? A Reddit breakdown — meh_coder · 2026-09-06
- New Codex compaction looks like a message board — is that why models love leaving notes? — mariofilhoml · 2026-09-06
- Kimi K3 beats GPT-6 on game menu replication quality but takes 5x longer, $3.75 vs $2.30 — ChrisGPT · 2026-09-06
- User tests OpenAI Astra computer use: one PPT slide took nearly 15 minutes — bookwormengr · 2026-09-06
- Claude Navier-Stokes proof rumor officially debunked by Elliot Glazer — basedjensen · 2026-09-06