MIT araştırmacıları OpenAI duyurusu öncesinde matematik ispatını yayımladı

Massachusetts Institute of Technology araştırmacıları, yapay zeka şirketi OpenAI'ın benzer bir sonucu yayımlamaya hazırlandığı söylentileri üzerine, teorik bilgisayar biliminin temel problemlerinden birine dair 95 sayfalık ispat taslağını acil olarak paylaştı. Doçent Dor Minzer ile lisansüstü öğrencileri Yumou Fei ve Shuo Wang, Subhash Khot tarafından ortaya atılan "eşsiz oyunlar" varsayımıyla yakından ilişkili olan 2'ye 1 oyunlar probleminin bir varyantını çözüme kavuşturdu. Ekip, OpenAI tarafından geride bırakılmamak adına aylar sürebilecek yazım sürecini üç güne indirerek metni 14 Eylül 2026 tarihinde erişime açtı.

Araştırmacıların sunduğu çalışma, klasik çizge boyama problemlerinin hesaplama karmaşıklığına yönelik uzun süredir çözülemeyen soruları aydınlatıyor. Minzer ve ekibi, hata düzelten kodlar yöntemini kullanarak problemin 4'e 1 olarak adlandırılan varyantını ispatladı. Bu sonuç, üç renkle boyanabilen bazı çizgelerde izin verilen renk sayısı sınırsız artırılsa bile bir çözüm bulmanın son derece zor kaldığını kesinleştirdi. Ekip, alelacele yayımlanan taslakta altıncı bölümden itibaren bağlaç dahi kurulamadığını ve yalnızca tanımlar ile ispat adımlarının sıralandığını açıkladı.

Söylentilerin ardından OpenAI, 6 Ekim 2026 tarihinde eşsiz oyunlar varsayımının Lean ile doğrulanmış ispatını ve matematik alanında 376 farklı sonucu kamuoyuna duyurdu. Yapay zeka tarafından üretilen bu kanıtlar akademik çevrelerde tartışma yarattı. Bağımsız hakem denetiminden geçmemiş modellerin toplu ispat paylaşımlarının bilimsel süreçte belirsizlik doğurduğunu belirten akademisyenler, insan emeğine dayalı uzun vadeli teorik projelerin şirket rekabeti karşısında gölgelenme riski taşıdığını dile getiriyor.