Tek Bir İşaret Hatası Üç Makaleyi Yıktı: OpenAI'ın 722 Makalelik Matematik Cephanesinde İlk Geri Çekilme

Bir yapay zekânın ürettiği yüzlerce “yeni matematik” makalesi, tek bir eksi işaretinin altında nasıl çöker? OpenAI, 6 Ekim’de yayımlanmamış bir iç modelinden gelen 722 matematik el yazmasını bir depo ve bir blog yazısıyla kamuya açtı. Cevap gecikmedi: iki gün içinde bağımsız matematikçiler bir ispat işareti hatası buldu ve OpenAI, o hatanın çökerttiği biri ana iki’si bağlı toplam üç makaleyi geri çekti. Olay, yapay zekâ üretimli bilimin en can alıcı zayıflığını tek bir örnekte kristalize etti: hacim, doğrulamayı geçerse, güven hızla erir.

Ne Oldu: Zincirleme Çöküş

Geri çekilen üç çalışma, birbiriyle bağımlı. “split abelian eightfold’lar üzerinde Weil sınıflarının cebirselliği” başlıklı makaledeki bir işaret hatası — bazılarının aktardığı yalın ifadeyle “−1 yerine +1” — ana argümandaki bir “stabilizasyon-izin iptali” adımını geçersiz kıldı. Bu makaleye dayanan iki çalışma — K3 yüzeyleri için Kuga–Satake eşleşmeleri ve rasyonel Hodge varsayımı üzerine olan — otomatik olarak ayakta kalamadı. Yani tek bir yerel hata, üstüne kurulu iki sonucu birlikte devirdi.

OpenAI, geri çekmenin “matematiksel önermelere değil, ispatlara” uygulandığını vurguladı: yani iddialar yanlışlanmış değil, sunulan kanıtlar geçersiz. Aynı değişiklik günlüğünde 14 el yazmasının da “ispat onarımı” için revize edildiği not edildi.

Neden Bu Kadar Konuşuldu: “Önce Yay, Sonra Doğrula”

Klasik matematik kültürü yavaştır ve bunu bir erdem sayar: bir ispat, hakemler ve topluluk tarafından aylarca, bazen yıllarca kurcalanır; bir hata ancak yayından sonra, nadiren ve büyük bir olayla çıkar. OpenAI’ın yaptığı ise tam tersi bir akıştı: yüzlerce ön-baskıyı tek seferde masaya koymak. Bu “güç gösterisi”, topluluğun bir kısmında heyecan değil, refleks bir savunma tetikledi.

Cornell’den bir matematikçinin eleştirisi sembolik: OpenAI önce Lean ile makine-doğrulanmış olanları duyurmalıydı. MIT’den bir diğeri, geri çekmenin olumlu karşılanacağını ama “kaybedilen güveni geri kazanmak için bunun çok daha fazlası gerekeceğini” söyledi ve iddiaları, model yayılana ya da bağımsızca yeniden üretilene kadar “taslak” saymayı önerdi.

İşaret Hatasının Ötesindeki Asıl Ders

Hikâye, “yapay zekâ hata yapar” klişesinden daha teknik bir yere dokunuyor. Bir işaret hatası, insan bir hakem için çoğu zaman kolay bir düzeltmedir. Ama bir ispat ağında, o tek hata —eğer üstüne başka sonuçlar inşa edildiyse— zincirleme bir çöküşü tetikleyebilir. Yapay zekâ, hacimle ürettiği için, bu bağımlılık ağlarını insan doğrulamasının yetişemeyeceği hızda kuruyor. Asıl risk tek yanlış değil; yanlışın fark edilmeden çoğalması.

Bu, makine-kanıtı (Lean gibi) araçların neden merkeze konduğunu da açıklıyor: eğer iddia “yüzlerce makale” olacaksa, insan hakem darboğazı yetmez; ispatların makinece doğrulanabilir formda gelmesi gerekir. OpenAI’ın geri çekme sonrası attığı adım, topluluğun tam da bu noktaya —doğrulanmışı ayırıp sunmaya— baktığını gösteriyor.

Sonuç: Bilim, Hız Değil Güven İşidir

OpenAI’ın üç makaleyi hızlıca geri çekmesi ve şeffaf bir değişiklik günlüğü tutması, olumlu bir işaret: yapay zekâ üretimli bilimin hatalarını inkâr etmek yerine kayda geçirmesi gerekiyor. Ama olayın bıraktığı ders daha kalıcı. Bir laboratuvar, ne kadar çok makale ürettiğiyle değil, ürettiklerinin ne kadarının bağımsızca doğrulanabildiğiyle yargılanacak.

Tek bir eksi işareti, 722 makalelik bir cephane kadar konuşuldu. Çünkü matematikte bir sonucun değeri, kaç tane olduğuyla değil —her birinin niçin doğru olduğuyla ölçülür. Yapay zekâ bu ikincisini insanlığa kanıtlayana kadar, ön-baskı seli bir devrim değil, henüz denetlenmemiş bir taslaklar yığını olarak kalacak.