GPT-6 Astra Helps Crack FrontierMath's First-Ever Major Advance Problem
kimmonismus · x · 2026-09-19
kimmonismus reports that GPT-6 Astra contributed the key idea and proof behind FrontierMath's first "Major Advance" solution, resolving a voting-theory problem open since 2017. He argues this shows AI can deliver original mathematical insights, countering claims that LLMs lack creativity. Details in the follow-up Epoch AI thread.
Related event: GPT-6 Astra helps crack first Major Advance problem on FrontierMath(8 posts)→
More from Models
- Musk cites unsustainable Grok Bot costs as Hermes offers one-command agent migration — Teknium · 2026-11-04
- Hobbyist rewrites Qwen 0.6B weights with 39.8M tokens, no gradients, in 3h12m — Altruistic_Heat_9531 · 2026-11-04
- Same leak, reshared: ChatGPT's five family plan prices spotted again — heyshrutimishra · 2026-11-04
- KOL visits StepFun's Shanghai office, hints a powerful new model is coming — teortaxesTex · 2026-11-04
- Fable 5.5 delayed as Anthropic reportedly bets OpenAI's Astra 6.2 won't beat it — haider1 · 2026-11-04
- ByteDance open-sources Axion 1.0-35B agent foundation model with full reproducible recipe — pmttyji · 2026-11-04