OpenAI modelinin Yang-Mills varlık kanıtı olumlu değerlendirildi

OpenAI modelinin kuantum Yang-Mills teorisinin varlığına ilişkin kanıtı inceleme kurulundan olumlu değerlendirme aldı. Ancak kütle aralığının kanıtlanması hâlâ gerekiyor; Milenyum Problemi bütünüyle çözülmüş değil.

OpenAI, ilgili kanıtı ilk kez 26 Ekim’de yayımladığını ve modelin çalışmayı eylül ayında tamamladığını açıkladı. Kanıt, bilgisayarların akıl yürütme adımlarını denetleyebilmesini sağlayan Lean diliyle biçimselleştirildi. MTS, Nobel ödüllü bir ismin başkanlık ettiği inceleme kurulunun kanıtı desteklediğini bildirdi.

Yang-Mills Problemi, teorinin matematiksel varlığının ve kütle aralığının kanıtlanmasını gerektiriyor. Kütle aralığı, en düşük enerji durumu ile onu izleyen durum arasında pozitif bir fark bulunması özelliği olarak tanımlanıyor. Bu değerlendirme yalnızca varlık kanıtını kapsadı; kütle aralığı ele alınmadı.

Çalışma grubu daha önce kodun tanımlarını ve problem kurulumunu, ayrıca doğal dildeki kanıtla kodun örtüşüp örtüşmediğini inceleme kapsamına almıştı. MTS, ödül değerlendirmesine girebilmesi için kütle aralığı kanıtının sunulması, Clay Matematik Enstitüsü’nün (Clay Mathematics Institute) yayımlama kurallarına uyulması ve yayından sonra en az iki yıllık tanınma süresinin tamamlanması gerektiğini açıkladı.

Clay Matematik Enstitüsü 2000 yılında yedi Milenyum Problemi’ni duyurdu ve her biri için 1 milyon dolar (yaklaşık 1,337 milyar won) ödül koydu. Bugüne kadar yalnızca Grigori Perelman’ın kanıtladığı Poincaré varsayımı çözüldü; Perelman ödülü reddetti.