Nobel Ödüllü Kurul OpenAI’ın Yang-Mills İspatını Doğruladı

Nobel ödüllü David Gross başkanlığındaki beş kişilik bir heyet, OpenAI'ın bilgisayar kontrollü ispatının kuantum Yang-Mills teorisinin var olduğunu gösterdiği sonucuna vardı. Heyet ayrıca bu sonucun, Clay Matematik Enstitüsü'nün 1 milyon dolarlık Milenyum Ödülü'nü taşıyan kısmını oluşturan kütle aralığını çözmediğini belirtti. Yang-Mills Çalışma Grubu üçüncü açıklamasında, 10 Kasım Salı günü iki GitHub deposu yayımlayacağını bildirdi. Depolardan biri OpenAI'ın 28 Ekim'de sunduğu tam Lean kodunu içeriyor. Diğeri ise sunumun "fizik ve matematikte standart olan problem tanımlarına göre saf Yang-Mills teorisinin varlığını kanıtladığını" tespit eden doğrulama raporunu barındırıyor.kitp.ucsb.edu

Heyetin ulaştığı sonuçlar

Belgeden alıntı yapan FourWeekMBA'e göre değerlendirme raporu, sunumun "görelilikli bir kuantum alan teorisinin, Wightman aksiyomlarını karşılayacak şekilde herhangi bir basit kompakt ayar grubu için dört boyutlu Wilson örgü ayar teorisinin bir ölçekleme limiti olarak inşa edilebileceğini" kanıtladığını söylüyor. Temiz bir yeniden derleme, aksiyom denetimi ve Karşılaştırıcı kontrolünün tümü başarıyla geçti. İncelemeciler ayrıca çalışmanın "sonsuz hacim limitinin benzersiz olduğunu veya bir kütle aralığı bulunduğunu kanıtlamadığını" yazdı. Kütle aralığı, vakumu teorinin uyarılmış durumlarından ayıran minimum bir pozitif enerji anlamına gelir.indiatoday.in+1

Heyet kendi şerhini de ekledi. Kodu incelemeye yardımcı olması için OpenAI'ın Astra modelini kullanan heyet, "ispatı henüz tam olarak anladıklarını iddia etmediklerini" belirtti. İncelemede ayrı yazılı el yazmasından faydalanılmadı. Grup ayrıca "Clay Matematik Enstitüsü ile şu an için hiçbir bağlantısı olmadığını", bu nedenle bulgularının bir ödül kararı niteliği taşımadığını ifade etti.fourweekmba.com+1

İspat incelemecilere nasıl ulaştı

OpenAI, modellerinin 9 Eylül'de yazılı bir Yang-Mills varlık ispatı ve 18 Eylül'de kuantum renk dinamiğini kapsayan bir ispat ürettiğini söyledi. Yang-Mills sonucunun Lean formalizasyonunu 16 Ekim'de tamamladı. OpenAI aynı gün Gross'tan ispatın sorumluluğunu üstlenmesini ve yayımlanmasını yönetmesini istedi. Gross, Kavli Teorik Fizik Enstitüsü'nün daimi üyesidir. Heyetin diğer üyeleri Michael Douglas, Arthur Jaffe, Igor Klebanov ve Nikita Nekrasov'dur.openai.com+2

Lean, yazılımın her bir mantıksal adımı kontrol ettiği bir ispat yardımcısıdır. Tek başına yaptığı kontrol, kodlanmış ifadenin hedeflenen fizik problemiyle eşleştiğini doğrulayamaz. Kurulun tanımları ilk olarak standart formülasyonlarla karşılaştırmasının nedeni de budur.tokenpost.com

Halen açık olan konular

1.147 sayfalık tam ispat henüz yayımlanmadı. Komite, "kalite ve doğruluktan memnun kaldığında" ispatları değerlendirmesiyle birlikte yayımlayacağını açıkladı. Grubun yanıt bekleyen diğer soruları arasında sonsuz hacim limitinin benzersiz olup olmadığı, düzgün bir kütle aralığının bulunup bulunmadığı ve Wilson döngüsü alan yasası yer alıyor. OpenAI'ın 4 Kasım tarihli ikinci sunumu ise devam eden bir çalışma olarak listeleniyor.kitp.ucsb.edu+1