GPT-5.6, 64 ajanı ayarlayarak bir saat içinde 50 yıllık bir varsayımın kanıtını sundu.

动察 Beating tarafından yapılan izlemeye göre OpenAI, GPT-5.6 Sol Ultra'nın 64 alt ajanı çağırarak yaklaşık 1 saatten kısa bir sürede, yaklaşık 50 yıllık "Döngüsel Çift Kapsama Sanısı" için bir kanıt sunduğunu belirtti.

OpenAI, tam prompt ve kanıt metnini kamuya açıkladı ve Lean biçimsel versiyonunu açık kaynak olarak yayınladı. İlgili kod, Lean çekirdek denetiminden geçti. Ancak bu hâlâ OpenAI tarafından yayınlanan bir sonuçtur. Matematik camiası henüz bağımsız bir inceleme tamamlamadığından, şimdilik yalnızca "kanıt sunuldu" denebilir, doğrudan "resmen çözüldü" ifadesi kullanılamaz.