OpenAI İddia Ediyor: GPT-5.6 Sol Ultra 50 Yıllık Matematik Problemini Bir Saatte Çözdü
openai, 10 Temmuz 2026’da gpt-56 Sol Ultra modelinin cycle-double-cover-conjecture — 50 yıllık bir graf teorisi problemi — için aday bir kanıt ürettiğini duyurdu. 64 paralel subagent bir saatten kısa sürede çalıştı. Matematikçi Thomas Bloom kanıtı “çok güzel” ve “elementer” buldu; ancak 1983 tarihli önceki çalışmalara atıf eksikliğini eleştirdi. 12 Temmuz 2026 itibarıyla matematiksel doğruluk onaylanmadı — peer review ve Lean/Coq formalizasyonu bekleniyor.
Ana Gelişme
Cycle Double Cover Conjecture, her köprüsüz grafın kenarlarının döngülerin bir birleşimi olarak iki kez kapsanabileceğini öne sürer — 1970’lerden beri açık bir problem.
openai, kanıt PDF’ini ve tam prompt’u CDN üzerinde yayınladı; atıf GPT 5.6 Sol Ultra’ya yapıldı. Ethan Knight duyuruyu yaptı. Mühendislik açısından dikkat çeken nokta: 64 paralel subagent orkestrasyonu, multi-agent-systems ve test-time-scaling yaklaşımının “ultra” modda nasıl çalıştığını gösteriyor.
Bloom, kanıtın kalitesini övdü ancak Bermond-Jackson-Jaeger (1983) çalışmalarına atıf eksikliğini vurguladı. Topluluk, Lean veya Coq ile makine doğrulaması talep ediyor.
Neden Önemli?
Bu haber “AI matematik çözdü” değil, “AI kanıt üretti, doğrulama bekleniyor” çerçevesinde okunmalı. formal-verification ile doğal dil kanıtları arasındaki boşluk, ai-for-science alanında kritik bir tartışma noktası.
parisi-claude-jamming-conjecture-proof örneğinde olduğu gibi, şirket yayınladığı PDF ile doğrulanmış sonuç arasındaki ayrım raporlamada net tutulmalı.
Teknik Detaylar
Sol Ultra “ultra” modu, automated-research için paralel subagent mimarisi kullanıyor. Her subagent bağımsız kanıt yolları keşfedebilir; orkestrasyon katmanı sonuçları birleştiriyor.
Doğrulama boşluğu:
- Peer review tamamlanmadı
- Lean/Coq formalizasyonu yok
- Bağımsız matematikçi doğrulaması bekleniyor
Bağlam
openai’nin matematik iddiaları, gpt-56 yetenek tartışmasının merkezinde. Kanıt kalitesi Bloom tarafından olumlu değerlendirilse de, atıf eksikliği akademik standartlara uyumu sorgulatıyor.
Sonraki Adımlar
Bağımsız matematikçilerin kanıt incelemesi ve olası formal verification girişimleri izlenecek. Doğrulama tamamlanmadan “çözüldü” ifadesi kullanılmamalı.