FrontierMath's first "Major Advance" problem has been solved
This is a AI post classified by Jev as Frontier models (a model release), kept by the AI Radar because it carries real work, not commentary.
FrontierMath's first "Major Advance" problem has been solved GPT-6 Astra helped resolve a major open problem that had been open since 2017 -- but more importantly, Astra didn't find the counterexample; it proved one cannot exist and developed the core machinery to show why
Posted by Haider. (71k followers) 1 days ago · 473 likes · 36k views · view the original post on X. Kept by the AI Radar as Frontier models.
More AI work like this
- gpt 5.6 terra = gpt 6 astra — @notjazii
- wow — @HarshithLucky3
- 🚨 Gemini 4 Pro is absolutely cooking — @Mr_Salio
- anthropic is about to mog everyone with new models — @notjazii
- woke people still don’t want to accept AIs good potential, while AI be like to them🖕🏻 — @SciTechera
- @AdamHoltererer — @AdamHoltererer
- GPT 6 Astra Pro builds OCD simulator: — @AdamHoltererer
- july 20, 2027. claude 6 mendel waking up in anthropic wet lab — @dejavucoder
Every post is read and classified by Jev (TypeSafe): what it is, which market it belongs to, and whether the link is a real tool. 27.2k posts from 4.8k X accounts over the last 14 days, 1.2k tools, 19 markets. Collected every 5 minutes, fully re-ranked every hour — last update 2026-09-19 18:45 UTC. Full method.