Bağımsız çalışan iki öncü YZ sistemi, otuz yıldır hiçbir insan matematikçinin başaramadığını yaptı: Üstel Zaman Hipotezi'nin (ETH) çürütülmesi.
OpenAI, araştırma modelinin 16 Ekim'de ETH'nin doğal dilde bir çürütmesini bulduğunu ve ertesi gün makine ispat denetleyicisi Lean'de biçimselleştirildiğini duyurdu. 67 sayfalık el yazmasının yazar kısmında "OpenAI" yazıyor.
Birkaç saat önce Anthropic, kendi 49 sayfalık makalesi "A 2^o(n) Time Algorithm for 3-SAT"ı yayımlamıştı; makale "Claude, Anthropic"e atfediliyor. Kurum içi bir Claude araştırma modeli, temel algoritmayı aynı gün, 16 Ekim'de buldu.
Russell Impagliazzo ve Ramamohan Paturi tarafından 1999 civarında öne sürülen ETH, hiçbir algoritmanın Boole tatmin problemi için üstel zamandan daha hızlı çalışamayacağını söyler. Çizge kuramı, veritabanları, hesaplamalı biyoloji ve hesaplamalı geometrideki yüzlerce koşullu zorluk sonucunun temelidir.
Her iki ekip de artık tatmin edici atamaları alt-üstel zamanda sayan deterministik bir algoritma iddia ediyor ve üstteki başat terim ikisinde de aynı. İddia doğrulanırsa, karmaşıklık kuramının taşıyıcı bir duvarı yıkılıyor.
Doğrulama mekanizması alışılmadık ölçüde güçlü. İspat, her adımı mekanik olarak denetleyen Lean'de biçimselleştirildi. Yayımlanan materyali inceleyen TU Wien'den Stefan Szeider, incelemeye dayanmasını bekliyor. En çarpıcı nokta: OpenAI'ın görevlendirdiği bağımsız inceleme grubunda Impagliazzo ve Paturi'nin kendileri var - varsayımın yazarları, çürütülmesini denetliyor. Açık mektuplarında bunun bilgisayar biliminin önemli bir bölümünü değiştirebileceği yazıyor.
Sınırlar, sonuç kadar önemli. P'ye karşı NP'ye dokunulmadı. Yeni algoritma hâlâ süperpolinom, dolayısıyla bundan daha hızlı bir SAT çözücü çıkmıyor. Değişen şey, kuramsal olarak mümkün olanın haritası ve onu kimin - ya da neyin - yeniden çizdiği.
İş liderleri için sinyal matematikte değil. Sinyal şu: YZ, metin ve kod yazmaktan özgün, makine doğrulamalı araştırma üretmeye geçti. Makinelerin yeni bilim yapamayacağı varsayımı ağır bir darbe aldı ve yetenek sınırı artık çoğu planlama döngüsünden hızlı ilerliyor.
YZ'yi yazı asistanı değil araştırma ortağı olarak gören şirketler, gelecek 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.
