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
Another problem from FrontierMath: Open Problems has been solved! The solution was elicited by Becker, Greger, and @DominikPeters in an interactive session with...