FrontierMath's first 'Major Advance' problem was solved by three humans plus GPT-6 Astra, and the problem was unsolvable as posed

Epoch AI (via r/singularity, 293 upvotes)·medium signalXBlueskyLinkedInCopy link

Epoch AI logged the first solution to a Major Advance tier FrontierMath problem, on the emptiness of the core in approval-based committee elections, an open question since Aziz, Brill and colleagues posed it in 2017. Becker, Greger and Peters worked interactively with GPT-6 Astra, and Peters said he doubts the team would have found the proof without it; Epoch classifies it as a human plus AI solution. The twist the r/singularity thread (293 upvotes) mostly skipped: the proof shows an empty core is impossible, so the benchmark problem as stated had no valid counterexample to find.