OpenAI’s GPT-5.6 Sol Ultra proves 50-year-old math conjecture in under an hour
✦ NabkaNews BriefAuto-summarized from multiple outlets · verify with the source
OpenAI's GPT-5.6 Sol Ultra is reported to have solved a 50-year-old math conjecture in under an hour. The specific conjecture solved is identified as the cycle double cover conjecture by one outlet. The details of the solution process vary across reports, with some mentioning the use of multiple AIs and a specific prompt, while others provide limited information.
Full coverage
12345678