Egy független, öttagú fizikai szakértői bizottság megállapította, hogy az OpenAI gépi úton ellenőrzött bizonyítása matematikailag és fizikailag is igazolja a kvantum-Yang, Mills-elmélet létezését. A vizsgálat során a szakértők a Lean bizonyításellenőrző program kódbázisát és a tételeket vették górcső alá, és a formalizált rendszert sikeresnek találták.
Ugyanakkor a bizottság kiemelte, hogy az eredmény még nem oldja meg a tömegrés-problémát, amelyre a Clay Matematikai Intézet az egymillió dolláros millenniumi díjat kitűzte. A szakértők emellett jellegzetes fenntartásként megjegyezték, hogy a kód elemzéséhez az Astra modellt is használták, és a teljes kézirat publikálásával még várnak a teljes minőségi és helyességi ellenőrzésig.
Az OpenAI a hírek szerint a Yang, Mills-egzisztencia mellett a kvantum-színdinamikára vonatkozó bizonyítás Lean-formalizálását is elvégezte. A nyilvánosságra hozatalt és a GitHub-tárolók megnyitását a felülvizsgáló munkacsoport koordinálja.
Az eredeti szöveg (Perplexity Discover)
Az öttagú testület, amelynek elnöke a Nobel-díjas David Gross, arra jutott, hogy az OpenAI gépi úton ellenőrzött bizonyítása igazolja a kvantum-Yang–Mills-elmélet létezését. A testület hozzátette, hogy az eredmény nem dönti el a tömegrés (mass gap) kérdését. A probléma ugyanis ehhez a részhez kapcsolódik, erre ajánlotta fel a Clay Matematikai Intézet az egymillió dolláros millenniumi díjat. A Yang–Mills Munkacsoport a harmadik közleményében közölte, hogy november 10-én, kedden két GitHub-tárolót tesz közzé. Az egyikben van az a teljes Lean-kód, amelyet az OpenAI október 28-án nyújtott be. A másikban egy validálási jelentés található, amely szerint a beadvány „bizonyítja a tiszta Yang–Mills-elmélet létezését a fizikában és a matematikában szokásos problémafelvetések szerint”.
Az értékelés szerint a benyújtott munka bizonyítja, hogy „a Wightman-axiómáknak eleget tevő relativisztikus kvantumtérelmélet felépíthető a négydimenziós Wilson-rácsmértékelmélet skálahatárértékeként bármely egyszerű kompakt mértékcsoport esetén” – írja a FourWeekMBA, amely idézte a dokumentumot. A tiszta újraépítés, az axiómaellenőrzés és a Comparator-vizsgálat egyaránt sikeres volt. A bírálók azt is leírták, hogy a munka „nem bizonyítja, hogy a végtelen térfogatú határérték egyértelmű, és azt sem, hogy van tömegrés”. A tömegrés azt jelentené, hogy egy minimális pozitív energia választja el a vákuumot az elmélet gerjesztett állapotaitól.
A bizottság maga is megfogalmazott egy fenntartást. Az OpenAI Astra modelljét használta a kód átvizsgálásához, és azt közölte, hogy „még nem állítja, hogy teljesen érti a bizonyítást”. Az értékelés nem támaszkodott a különálló, megírt kéziratra. A csoport azt is jelezte, hogy „jelenleg semmilyen kapcsolata nincs a Clay Mathematics Institute-tal”, ezért a megállapítása nem díjról szóló döntés.
Az OpenAI közlése szerint a modelljei szeptember 9-én elkészítették a Yang–Mills-egzisztencia írásos bizonyítását, szeptember 18-án pedig a kvantum-színdinamikára (QCD) vonatkozó bizonyítást. A Yang–Mills-eredmény Lean-formalizálását október 16-án fejezte be. Ugyanezen a napon az OpenAI megkérte Grosst, hogy vegye át a bizonyítás őrzését, és irányítsa a nyilvánosságra hozatalát. Gross a Kavli Elméleti Fizikai Intézet állandó tagja. A testület további tagjai Michael Douglas, Arthur Jaffe, Igor Klebanov és Nikita Nekrasov.
A Lean egy bizonyításellenőrző program, amelyben a szoftver minden logikai lépést ellenőriz. Az ellenőrzés önmagában viszont nem tudja megerősíteni, hogy a kódolt állítás valóban megfelel-e a szándékolt fizikai problémának. Ezért a bizottság először a definíciókat vetette össze a szokásos megfogalmazásokkal.
A teljes, 1147 oldalas bizonyítást még nem hozták nyilvánosságra. A bizottság közölte, hogy akkor teszi közzé a bizonyításokat a saját értékelésével együtt, „amikor elégedettek leszünk a minőségükkel és a helyességükkel”. A csoport további nyitott kérdései közé tartozik, hogy egyértelmű-e a végtelen térfogati határérték, létezik-e egyenletes tömegrés, valamint a Wilson-hurok területi törvénye. Az OpenAI második, november 4-i keltezésű beadványa „folyamatban lévő munkaként” szerepel.
