OpenAI ve Anthropic, yapay zekanın hesaplama teorisini çürüttüğünü iddia ediyor

OpenAI, 26 Ekim Pazartesi günü, kendi iç yapay zeka modellerinin üç sonuç ürettiğini açıkladı. Birincisi, her boyutta yerel düzeltme varsayımının kanıtıdır. İkincisi, Üstel Zaman Hipotezinin (ETH) çürütülmesidir. Şirketin duyurusuna göre üçüncüsü, kuantum renk dinamiği (QCD) dahil olmak üzere etkileşimli kuantum alan teorileri için kesin bir varlık kanıtıdır. OpenAI, taslakları "ham araştırma verisi biçimi" olarak tanımladı. Dış uzmanlardan sonuçlar için "çobanlık" yapmalarını istedi ve her alan için farklı bir yayın yaklaşımı benimsendi. Scientific American, uzmanların "hala şaşkın" olduğunu ancak yayının şimdiden tartışmalı olduğunu bildirdi. Duyurudan saatler sonra Anthropic, ETH'nin kendi çürütmesini yayınladı.openai.com+1

Üç iddia, üç yayın planı

Matematikte Christopher Sogge, 1991 yılında yerel düzeltme varsayımını öne sürdü. OpenAI, bunun her boyutta kanıtlanmasının aynı zamanda tüm boyutlardaki Kakeya ve Stein kısıtlama varsayımlarını da çözdüğünü söylüyor. OpenAI, modelin yazısını ve Lean biçimsel kanıtını GitHub'da yayınladığını belirtti. Rochester Üniversitesi'nden matematikçi Alex Iosevich, Al Jazeera'ye verdiği demeçte haberin "ilk başta şok edici" olduğunu söyledi. Bunu "tarihi bir gelişme" olarak nitelendirdi.aljazeera.com+1

ETH için OpenAI, sisteminin çürütmeyi 16 Ekim'de bulduğunu ve sonucun 17 Ekim'de Lean'de resmileştirildiğini söylüyor. Hipotezi ilk öne süren UC San Diego'dan Russell Impagliazzo ve Ramamohan Paturi, MIT'den Ryan Williams ile birlikte incelemeye liderlik ediyor. Şirket, OpenAI'ın sonuçla ilgili bir konferansı finanse etmeyi taahhüt ettiğini de belirtti. Kanıt, 3-SAT için üstel zamandan biraz daha hızlı çalışan bir algoritma sunuyor. Scientific American, bunun P ve NP sorununu mutlaka çözmediğini kaydetti.openai.com+1

Fizik sonucu, Yang-Mills Milenyum Ödülü probleminin varlık kısmını kapsıyor ancak kütle boşluğunu kapsamıyor. OpenAI'a göre, Nobel ödüllü David Gross liderliğindeki bir grup, çalışmayı kendileri yazarken yapay zeka tarafından üretilen materyalleri geri tutmayı seçti.openai.com

Tartışma ve rakip bir kanıt

Scientific American'a göre yayın, OpenAI'ın bizzat organize ettiği Matematik ve Yapay Zeka Danışma Grubu'nun (AGMAI) tavsiyelerine aykırı. Model hala özel mülkiyet altında ve istemleri ile düşünce zinciri çıktıları yayınlanmadı. AGMAI, Yang-Mills makalesinin yayınlanması çağrısında bulunarak "yayını geciktirmek için hiçbir bilimsel neden olmadığını" belirtti. Aynı haberde, bir Anthropic çalışanı ve bir Northwestern matematikçisinin yapay zeka yardımıyla aynı Yang-Mills problemi üzerinde kamuya açık bir şekilde çalıştığı ifade ediliyor.scientificamerican.com

Pazartesi günü geç saatlerde Anthropic, Claude'a atfedilen "3-SAT için 2^o(n) Zamanlı Bir Algoritma" başlıklı bir makale yayınladı. OfficeChai'nin bildirdiğine göre, Anthropic araştırmacısı Levent Alpöge, iç modelin temel algoritmayı 16 Ekim'de "insan müdahalesi olmadan" bulduğunu söyledi. Her iki laboratuvarın iddiası da hakem değerlendirmesinden geçmedi. Şimdilik, iddia edilen çürütmenin geçerli olup olmadığına karar vermek hipotezin kendi yazarlarına kalmış durumda.officechai.com