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."
顯示更多
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.
顯示更多
