OpenAI'ın Yang-Mills kanıtı için çalışma grubu iki GitHub deposu planlıyor

Yang-Mills Çalışma Grubu, OpenAI'ın kuantum Yang-Mills kuramına ilişkin Lean kodunu ve inceleme değerlendirme materyallerini iki GitHub deposunda yayımlamayı planlıyor.

Crypto Briefing, paylaşımın 10 Kasım'da ABD yerel saatiyle yapılmasının beklendiğini bildirdi. İlk depoda OpenAI'ın Lean kodunun tamamı, ikincisinde ise çalışma grubunun doğrulama değerlendirmesi yer alacak.

Çalışma grubu, 3 Kasım'da yayımladığı ikinci açıklamada kodun tanımlarının ve problem kurulumunun fizik ve matematik standartlarına uyup uymadığını, doğal dildeki ispat ile kodun örtüşüp örtüşmediğini incelediğini belirtti. Grup, Kasım'ın ikinci haftasında yayımlamayı umduğunu ve bir gün önceden haber vereceğini de açıklamıştı.

OpenAI, 9 Eylül'de Yang-Mills kuramının varlığına ilişkin doğal dilde bir ispat oluşturduğunu açıkladı. Şirket, 18 Eylül'de kuantum kromodinamiği hakkında ayrı bir doğal dil ispatı ürettiğini bildirdi.

OpenAI, Yang-Mills ispatının Lean ile biçimlendirilmesini 16 Ekim'de tamamladı. Crypto Briefing'in aktardığına göre şirket aynı gün Nobel ödüllü David J. Gross ile ilk kez iletişime geçti; bağımsız inceleme yapacak çalışma grubu da bunun ardından kuruldu.

OpenAI, matematik ve bilgisayar bilimi alanındaki yapay zekâ çalışmalarını yayımlarken fizik alanındaki sonuçların önce uzmanlarca incelenmesini tercih etti. Şirket, 26 Ekim tarihli açıklamasında çalışma grubunun sonuca bağımsız biçimde varacağını ve grubun görüşlerinin OpenAI'ın görüşlerini temsil etmediğini belirtti. Çalışma grubu da OpenAI'a karşı sorumlu olmadığını 밝혔다. Bu yapı, sonucu sunan şirket ile incelemeyi yapan grubun rollerini ayırıyor.

Lean, matematiksel tanım ve akıl yürütmeleri kodla yazıp bilgisayarın ispat adımlarını denetlemesini sağlayan bir araç. Doğal dildeki bir çözüm biçimsel koda aktarıldığında, her adımın belirlenmiş kurallara uyup uymadığı mekanik olarak kontrol edilebiliyor.

Ancak kodun mantıksal açıdan geçerli olması, akademinin çözmeye çalıştığı problemin doğru biçimde kanıtlandığını tek başına göstermiyor. Tanımlar veya problem kurulumu standartlardan farklıysa bilgisayar başka bir sorunun yanıtını doğru biçimde kanıtlayabilir. Bu nedenle çalışma grubu, kod ile doğal dildeki ispatın ve problem tanımının birbiriyle örtüşmesini de inceliyor.

Kuantum Yang-Mills kuramı, güçlü etkileşimi açıklayan kuantum kromodinamiğinin temelini oluşturuyor. Kuarkları içermeyen saf Yang-Mills kuramı gluonların etkileşimini ele alırken, kuantum kromodinamiği kuarkları da kapsıyor.

Clay Matematik Enstitüsü'nün Milenyum Problemi, Yang-Mills kuramının dört boyutta geçerli olduğunu ve kütle aralığının bulunduğunu kanıtlamayı gerektiriyor. Kütle aralığı, temel durum ile bir sonraki enerji durumu arasında pozitif bir fark bulunması anlamına geliyor.

OpenAI'ın ispatı kuramın varlığına ilişkin bir iddia sunuyor. Çalışma grubu, kütle aralığı ve kuark hapsinin hâlâ çözümlenmemiş konular olduğunu belirtti.

Çalışma grubu, Ekim ayındaki açıklamasında OpenAI'ın yaklaşımının Wilson kafes düzenlileştirmesi (Wilson lattice regularization) ile Balaban'ın yeniden normalleştirme grubu yöntemlerine (Balaban's renormalization-group methods) dayandığını söyledi. İspatın uzun ve karmaşık olması nedeniyle yöntemi ve fiziksel anlamını kavramanın zaman alacağını da kaydetti.

OpenAI'ın sunduğu tam ispat materyali 1147 sayfadan oluşuyor. Çalışma grubu, doğruluğundan emin olduğunda değerlendirmesini ve yapay zekânın hazırladığı ispat materyalinin tamamını yayımlayacağını açıkladı.