OpenAI'nin GPT-5.6 Sol Ultra modelinin, 50 yıldır çözülemeyen Cycle Double Cover Conjecture'ın matematiksel kanıtını bir saatten kısa sürede ürettiği rapor edildi. Model, paralel işlem yeteneğini kullanarak 64 subagent aracılığıyla problemi çözmüştür.

Ünlü matematikçi Thomas Bloom, sunulan kanıtın dikkat çekici derecede basit olduğunu belirtmişse de, önceki araştırmalara yeterince atıf yapılmadığını eleştirmiştir. Bu başarı, yapay zeka sistemlerinin matematiksel problem çözmede ne derece ilerledikleri sorusunu gündeme getirirken, daha temel bir soruyu ortaya koymaktadır: AI, mevcut bilgiyi yeniden organize ediyor mu yoksa gerçekten yeni bilgi üretiyor mu?