GPT-5.6'nın 50 Yıllık Matematik Problemini Çözme İddiası
OpenAI, 50 yıllık Cycle Double Cover Conjecture için bir kanıt sundu. Ancak, bu kanıtın doğruluğu henüz doğrulanmadı.
OpenAI, Cycle Double Cover Conjecture için 3 sayfalık bir kanıt yayınladı. Bu problem, 50 yıldır çözülmeyi bekliyordu ve kanıt, GPT-5.6 Sol Ultra tarafından 64 işbirlikçi ajan kullanılarak oluşturuldu. Ancak, bu kanıtın doğruluğu henüz bağımsız olarak doğrulanmadı.
Kanıt, problemin kübik grafikleri ele alarak standart matematik tekniklerini kullanıyor. Bununla birlikte, AI tarafından üretilen kanıtların doğruluğunu değerlendirmek için gerekli olan geleneksel inceleme süreci, bu tür hızlı yayınlarla bozuluyor. Uzmanların, kanıtı dikkatlice incelemesi ve her adımın doğruluğunu onaylaması gerekiyor.