OpenAI 372 matematiksel kanıtı GitHub üzerinden paylaştı
Öne çıkanlar
- OpenAI, Lean yazılımı tarafından doğrulanmış 372 matematiksel sonucu GitHub'da erişime açtı.
- Her bir kanıt, kurum içi bir modelin tek bir istemle yaklaşık üç saat çalışmasıyla üretildi.
- Kanıtlar arasında Benzersiz Oyunlar Varsayımı'na yönelik bilinmeyen bir kodlama tekniği içeren çözüm iddiası bulunuyor.
OpenAI, kurum içi bir yapay zeka modelinin ürettiği 372 matematiksel sonucu GitHub platformunda yayımladı. Kanıtların neredeyse tamamı, tek bir aracıya gönderilen tek bir komut ve her sonuç için harcanan yaklaşık üç saatlik işlem gücüyle oluşturuldu. Çoğu kanıt, biçimsel doğrulama yazılımı Lean ile denetlendiği için yazılımsal açıdan geçerli kabul ediliyor ancak sonuçların arkasındaki stratejiyi ve mantığı henüz hiçbir insan tam olarak anlayabilmiş değil.
Paylaşılan sonuçlar arasında, karmaşıklık teorisinde uzun süredir çözülemeyen Benzersiz Oyunlar Varsayımı'na (Unique Games Conjecture) dair bir kanıt iddiası da yer alıyor. Teorisyen Dana Moshkovitz, söz konusu çalışmada mevcut literatürde bilinmeyen, özyinelemeli ve gürültü testiyle doğrulanan yeni bir kodlama yöntemi kullanıldığını belirtti. Dört renk veya Kepler varsayımı gibi geçmişteki devasa kanıtların aksine, bu yeni stratejilerin insanlar tarafından planlanmamış olması ve yalnızca bir doğrulama çekirdeği tarafından onaylanması matematik dünyasında farklı bir dönem başlatıyor.
İçerik, insan kaynaklı ders kitapları, makaleler ve forum kayıtlarından türetilmiş olmasına rağmen araştırmacılar için tekinsiz ve çözülmesi güç bir yapı sergiliyor. Yirmi beş Fields madalyalı matematikçi, yapay zekanın bu ölçekte ürettiği sonuçların bilimsel alanı beslemek yerine verimli araştırma zeminini tüketebileceği yönünde uyarıda bulunmuştu. Gelinen aşamada doğruluk, bir insanın anlama sürecinden geçmeksizin tescillenen bir mekanizmaya dönüşüyor.
Bu özet yapay zekâ ile hazırlanmıştır; ayrıntılar ve doğrulama için orijinal kaynağa başvurun.