GPT-6 Astra reportedly solves FrontierMath's first Major Advance problem, devising a novel voting rule
haider1 · x · 2026-09-19
FrontierMath's first "Major Advance" problem has been resolved. The poster claims GPT-6 Astra helped settle an open problem dating back to 2017.
Key points:
- Rather than finding a counterexample, the model reportedly proved one cannot exist and developed the core machinery explaining why
- gpt-6-astra is said to have come up with the primary idea and proof, including a novel voting rule devised to solve the problem
- The poster argues this goes beyond the "LLMs just apply existing techniques" objection
Note: third-party account; details remain unverified.
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