Ne açıklandı
OpenAI, 26 Ekim'de yayımlanmamış bir iç modelinin 67 sayfalık bir makale ürettiğini duyurdu: The Exponential Time Hypothesis is False (17 Ekim tarihli, 25 Ekim'de revize edildi). İddia, herhangi bir k-CNF formülünün sağlayıcı atamalarını polinom uzayda ve yaklaşık 2^(n/(log n)^(1/2)) sürede sayan deterministik bir algoritma. Bu alt-üstel bir sınır; dolayısıyla Russell Impagliazzo ve Ramamohan Paturi'nin 2001'de ortaya koyduğu, n değişkenli 3-SAT'ın en kötü durumda 2^Ω(n) zaman gerektirdiği yolundaki Üstel Zaman Hipotezi'ni (ETH) ve makaleye göre Güçlü Üstel Zaman Hipotezi'ni (SETH) çürütürdü.
Makale sınırlarını açıkça belirtiyor: genel olarak NP problemlerinin alt-üstel algoritmaları olduğunu iddia etmiyor ve P ile NP arasındaki soruyu çözmüyor.
Nasıl üretildi
Tek yazar olarak "OpenAI" görünüyor. Depodaki README, sonuçların "büyük çoğunluğunun" aynı iç modelle elde edildiğini, sonuç başına ortalama "üç saatlik ChatGPT Pro düşünme hesaplaması" kullanıldığını ve metinlerin "cilalanmış akademik makalelerden çok ham araştırma verisi olarak" okunması gerektiğini söylüyor. OpenAI'ye göre doğal dildeki çürütme 16 Ekim'de çıktı, ertesi gün Lean'de biçimselleştirildi.
Makine denetimi doğrulama değildir. Lean, biçimsel ifadenin varsayımlarından türediğini kanıtlar; o ifadenin makalenin asıl iddiasını yakalayıp yakalamadığı uzmanların işidir. OpenAI'nin kendi Lean notları, makaledeki en keskin sınırdan biraz daha zayıf bir zaman sınırı kaydediyor — tüm argümanın üstel eğrinin altına inmeye dayandığı düşünülürse bu fark önemli.
Hakem düzenlemesi ve itirazlar
OpenAI, çalışmanın UC San Diego'dan Impagliazzo ve Paturi ile MIT'den Ryan Williams'ın liderliğindeki bir grup tarafından "doğrulanıp yönlendirileceğini" söylüyor. Üçü ortak bir açık mektupta şunu yazdı: "Bizim katılımımız iddianın onayı olarak alınmamalıdır. Bu büyüklükte bir sonuç dikkatli ve bağımsız bir inceleme gerektirir." OpenAI bir konferansa fon sağlamayı taahhüt etti ve katılımcılardan gizlilik sözleşmesi istenmeyeceğini belirtti.
Süreç yine de tartışmalı. OpenAI'nin önceki ispat açıklamalarından sonra topladığı matematik danışmanları paneli, yapay zekâ şirketlerinin seçilmiş araştırmacılara önce erişim verme pratiğini benimsememelerini önermişti; bu duyuru o pratiği tekrarlıyor.
İki iddia daha, daha zayıf kanıt
Aynı duyuru, her boyutta yerel yumuşatma varsayımının ispatlandığını ve bunun Kakeya varsayımını çözdüğünü öne sürüyor (Kakeya üç boyutta 2025'te Hong Wang ve Joshua Zahl tarafından kanıtlanmıştı). Ayrıca kuantum renk dinamiğinin varlığına dair bir ispat iddiası var — Clay Milenyum Ödülü'nün yarısı olan Yang–Mills problemi. Bu iddianın materyalleri yayımlanmadı; üçü içinde denetlenebilirliği en düşük olan bu.
Neden önemli
ETH sonucu geçerli olursa, ince taneli karmaşıklık literatüründeki yüzlerce makalenin taşıyıcı varsayımı çöker ve kesin SAT sayımının zorluğunun yeniden türetilmesi gerekir. Geçerli olmazsa bile olay, öncü laboratuvarların matematik yayımlama biçimindeki kaymayı işaretliyor: basın bülteniyle ön baskı, güvenilirlik göstergesi olarak biçimselleştirme, sonradan düşünülen hakemlik.
Pratik sonuçlar şimdilik neredeyse sıfır. Hacker News'te kendini SAT uzmanı olarak tanıtan bir yorumcu sınırlara "galaktik" dedi: acil uygulama yok, ama yıllar sonra daha hızlı çözücülere dönüşebilecek fikirler olabilir. OpenAI de sonucun pratik iyileştirmeye dönüşmesinin "ciddi ek araştırma gerektireceğini" kabul ediyor.
Asıl sınav, geçen Lean derlemesi değil, şu anda yürüyen bağımsız kontrol.
