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