Greg Burnham(@GregHBurnham):Some discussion of this result — amusing and all, but also note the by-now familiar comment, "I originally thought it might require much more theory-building to solve the problem in full, and I had been working on it for quite some time."

2026.09.18 16:42

Some discussion of this result — amusing and all, but also note the by-now familiar comment, "I originally thought it might require much more theory-building to solve the problem in full, and I had been working on it for quite some time."

Epoch AI@EpochAIResearch

2026.09.18 16:33

Another problem from FrontierMath: Open Problems has been solved! The solution was elicited by Becker, Greger, and @DominikPeters in an interactive session with GPT-6 Astra. Peters originally suggested the problem for the benchmark. He had this to say.

Forward to community