Bilgisayar bilimi nadiren böyle bir ay yaşar. Temel inançlarından biri yıkıldı ve enkazı inceleyenler arasında onu inşa eden araştırmacıların kendileri de var.
16 Ekim'de OpenAI'daki bir araştırma modeli, Exponential Time Hypothesis'e sıradan bir dille karşı bir argüman üretti. Bir gün içinde argüman, her mantıksal adımı mekanik olarak doğrulayan bir kanıt denetleyicisi olan Lean'e aktarılmıştı. 67 sayfalık el yazmasında yazar olarak OpenAI'nin kendisi listeleniyor.
Hiçbir koordinasyon olmadan çalışan Anthropic, saatler önce aynı noktaya ulaşmıştı. 49 sayfalık makalesi "A 2^o(n) Time Algorithm for 3-SAT", Claude'a atfedildi ve temel algoritma aynı gün bir Claude araştırma modeli tarafından bulundu.
Hipotez yaklaşık 1999'a dayanıyor; Russell Impagliazzo ve Ramamohan Paturi, Boolean satisfiability için üstel zamandan daha hızlı bir algoritma olmadığını savundu. Bu tek fikir, graf teorisi, veritabanları, hesaplamalı biyoloji ve geometrideki yüzlerce koşullu zorluk sonucunu sessizce ayakta tutuyor.
Her iki grup da artık tatmin edici atamaları subexponential zamanda sayan deterministik bir yöntem tanımlıyor ve ikisi de üsteki ana terimde aynı noktaya varıyor. Hakemler çalışmayı onaylarsa, alanın en güvenilir duvarlarından birinde bir kapı olduğu ortaya çıkacak.
İddiaya ağırlık kazandıran modellerin soyu değil, etraflarındaki kontrol iskelesi. Her çıkarım Lean'den geçiyor. Ve OpenAI'nin topladığı inceleme paneli, şimdi kendi konjektürlerinin çöküşünü denetleyen Impagliazzo ve Paturi'yi içeriyor. TU Wien'den Stefan Szeider kamuya açık malzemeyi inceledi ve yakın okumaya dayanacağını bekliyor.
Yine de temkin gerekli. Sonuç P versus NP hakkında hiçbir şey söylemiyor ve yeni algoritma hala superpolynomial zamanda çalışıyor, dolayısıyla yarın sabah hiçbir pratik çözücü hızlanmayacak. Değişen şey teorik harita ve onu yeniden çizenlerin - insanların mı yoksa sistemlerin mi - kimliği.
Yöneticiler için ders, karmaşıklık sınıflarından uzakta. Yakın zamana kadar belgeleri özetleyen yazılım, artık özgün, makine doğrulamalı matematik üretiyor. YZ'nin ciddi araştırmaya katkıda bulunabileceği sınır, çoğu planlama döngüsünün varsaydığından daha hızlı ilerliyor.
Bu tür sistemlerle yan yana çalışmayı öğrenen, onlara sadece yazı işi vermekle kalmayan kuruluşlar, önümüzdeki on yılın temposunu belirleyecek.
Matematiksel düşünün. Akıllıca mühendislik yapın. Stratejik liderlik edin. Sorumlu inşa edin. Küresel ölçeklenin. Yapay zeka ile gerçek iş değeri yaratın.
