sam is right about the upcoming Astra successor can do things even the best mathematicians can't
here, it seems like gpt-6-astra came up with the primary idea and proof, including a new voting rule to solve the problem, which goes beyond the "LLMs just apply existing techniques" cope
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 important...