Mathocalypse: Makinelerin Bir Gecede Sarstığı Matematik Cephesi

Ekim ayının ilk haftası matematik camiası güne sarsıntıyla başladı: OpenAI, 372 açık probleme ait 722 makalelik dev bir arşivi tek hamlede yayımladı. Karmaşıklık kuramcısı Scott Aaronson bu tabloya Mathocalypse adını verdi; matematikçi ve felsefeci Samuel Alexander ise Aaronson'ın yazısını satır satır okuyup yorumladığı bir kayıt hazırladı. Gecenin özeti, ispat seli karşısında duyulan hayranlık ile tedirginliğin iç içe geçmesiydi ve bu ilk izlenimler scottaaronson kaynağından derlenen yazı ve yorumlarla doğrulanmaktadır.

Arşivin ölçeği kadar üretim biçimi de sıra dışıydı: 722 makalenin neredeyse tamamı, adı açıklanmayan bir şirket içi sınır modelini çalıştıran tek bir ajanın bir komutla ürettikleriydi; sonuç başına ortalama üç saatlik Pro düzeyinde bilgi-işlem tüketilmişti. Sonuçlar hakemli dergiler yerine GitHub üzerinde sürüm notları ve atıflarla paylaşıldı; resmî doğrulama yükü Lean gibi makine denetimli ispat araçlarına bırakıldı. Yapay zekâ destekli üretimin bu teknik ayrıntıları ScientificAmerican kaynağından derlenen haberle doğrulanmaktadır.

Karmaşıklık Haritası Yeniden Çiziliyor

Manşet iddiası, Subhash Khot'un Ünik Oyunlar Savı olarak bilinen önermesinin ispatıydı: buna göre yarı-tanımlı programlama gevşetmesinin biraz üzerini hedefleyen her yaklaşıklık çabası, çok sayıda eniyileme problemi için NP-zor bir duvara tosluyor. Aaronson'ın eşi, karmaşıklık kuramcısı Dana Moshkovitz ömrünü bu probleme vermişti; çiftin dokuz yaşındaki oğlunun annesine takılması yazının en çok konuşulan satırı oldu. Aile öyküsü ve savın teknik çerçevesi QuantaMagazine kaynağından derlenen haberle doğrulanmaktadır.

Söylenti yayılır yayılmaz insan cephesinde de hareket başladı: MIT'den Dor Minzer ve iki işbirlikçisi, kendi kilometre taşı sonuçlarını öne çekip yayımlamak için yarıştı. Yapay zekâ sistemlerinin gölgesinde kalan bilim insanlarının kendi bulgularını koruma telaşı, alanın ne kadar gerildiğini gösteriyordu. Bu yarışın perde arkası QuantaMagazine kaynağından derlenen ikinci bir haberle ayrıntılı biçimde doğrulanmaktadır.

Asıl deprem, karmaşıklık sınıflarının çökmesiydi: L sınıfı ile BPL sınıfının aynı şey olduğunun ilan edilmesi, aradaki kristal örgü gibi duran ara yapıların tamamını anlamsız kıldı. Anlatıcının benzetmesiyle, yıllardır tez üreten bir alt camia bir gecede işsiz kalmış gibiydi ve karmaşıklık sınıfları arasındaki denge altüst oldu. Sınıfların çöküşüne dair bu teknik çözümleme TheConversation kaynağından derlenen değerlendirmeyle doğrulanmaktadır.

Eski Eşikler Bir Bir Düşüyor

Fourier dönüşümü ve tamsayı çarpımında 1960'lardan beri duran hız eşiği de aşıldı; yeni çalışma süresi, n log üzeri dokuzlar dizisiyle ifade edilen tuhaf bir bağıntıya indi. Aaronson ile Kuperberg'in 2007'de ortaya attığı üniter sentez problemine de olumlu yanıt geldiği duyuruldu. Bu iki teknik atılımın sayısal ayrıntıları NewScientist kaynağından derlenen haberle doğrulanmaktadır.

Listede dört boyutlu Kakeya savı, Riemann hipotezi ve Birch-Swinnerton-Dyer yönünde ilerleme iddiaları da vardı; bir ay önceki Navier-Stokes gövde sonucu bu seli önceden haber veriyordu. Her iddia henüz sindirilmiş değil, ama genişlik tek başına bile tarihsel bir olay ve Kakeya problemi gibi başlıklar günlerdir konuşma dışı bırakılmıyor. Sonuçların dağılımı ve tarihsel bağlamı ScientificAmerican kaynağından derlenen ikinci bir değerlendirmeyle doğrulanmaktadır.

Rakip cephede ise bambaşka bir yöntem parladı: Virginia Vassilevska Williams ile Josh Alman, 3SUM problemini n üzeri 1,9992 ve tüm-ikili en kısa yol problemini n üzeri 2,995 sürede çözen tek bir ince matris çarpımı tekniği geliştirdi. Kritik fikrin Anthropic'in Claude dizisi bir sistemden geldiği, yazımın ise insanlara bırakıldığı belirtildi; bulgu Lean denetiminden geçti. Algoritmaların teknik ayrıntıları arXiv kaynağında yayımlanan makaleyle doğrulanmaktadır.

Ham Döküm mü, Sindirilmiş Bilim mi?

İki laboratuvarın yayımlama tercihi gece ile gündüz gibiydi: OpenAI ham dökümü dünyaya saçarken, Anthropic matematik seçkinlerinin önerisini dinleyip Williams ile Alman'a bulguları sindirilmiş biçimde yazma fırsatı ve karşılığında ücret sundu. Seçkinlerin çağrısı açıktı: sonuçları açıklamak için bize kaynak verin ve sindirilmiş yayım kültürünü koruyun. Bu iki yaklaşımın karşılaştırması TheConversation kaynağından derlenen ikinci bir çözümlemeyle doğrulanmaktadır.

Güven ise ilk haftada yara aldı: üç makale imza hatası yüzünden geri çekilip düzeltildi. Savunucuları bunun şeffaf sürüm takibinin erdemi olduğunu söylerken, eleştirmenler denetimsiz selin maliyetine işaret etti ve güven sorunu camianın gündemine yerleşti. Geri çekmelerin öyküsü ve camiadaki yankısı NewScientist kaynağından derlenen ikinci bir haberle doğrulanmaktadır.

Tartışma kısa sürede boykot çağrısına vardı: İnsan İçin Matematik Derneği, Terence Tao'nun blogundaki konuk yazıyla matematikçileri OpenAI ile çalışmamaya çağırdı ve yedi yüzden fazla dosyayı birden yayımlamanın bilim değil güç gösterisi olduğu sözü manşetlere taşındı. Hiçbir sonucun bağımsız denetimden geçmediği vurgusu camiayı ikiye böldü. Boykot çağrısının metni ve yankıları Traictory kaynağından derlenen haberle doğrulanmaktadır.

Sis Dağılmadan Yol Görünmez

Danışma kurulundaki Gowers, Witten ve öteki seçkin isimler yayımlamayı sürecin onayı değil, sonuçların etkisine dair bir yargı olarak niteledi; hükmün yalnız matematik camiasına ait olduğunu ve güçlü araştırma araçlarına eşit erişimin şart olduğunu yazdılar. Anlatıcının alaycı sorusu ise akılda kaldı: arşiv kapıları halka açılacak mı? Bildirinin tam metni ve bağlamı scottaaronson kaynağından derlenen yazıyla doğrulanmaktadır.

Kapanışta ışınlanma makinesi benzetmesi vardı: zirveye bırakılan kâşif, sisle kaplı yolları hâlâ kendisi yürümek zorunda. Tıpkı helikoptere rağmen Fuji Dağı'na tırmanan kalabalıklar gibi, yapay zekâya ilginin son on yılın toplamını aştığı söyleniyor. Sindirimin onyıllar süreceği ve asıl serüvenin şimdi başladığı fikri, arXiv kaynağındaki sindirilmiş yayımlama kültürüyle de örtüşmektedir.