A 50-year-old mathematical problem has been solved, with reports suggesting that OpenAI's GPT-5.6 Sol Ultra achieved this in under an hour. The specific problem solved is identified by some outlets as the cycle double cover conjecture. However, there are conflicting reports about the details of the solution, including the involvement of other entities and the timeframe, with some outlets also mentioning unrelated achievements in the field of mathematics.