Panel nositele Nobelovy ceny potvrdil důkaz teorie Yang-Mills od OpenAI

Pětičlenný panel předsedaný nositelem Nobelovy ceny Davidem Grossem dospěl k závěru, že strojově ověřený důkaz společnosti OpenAI ukazuje, že kvantová teorie Yang-Mills existuje. Panel zároveň uvedl, že výsledek neřeší hmotnostní mezeru, tedy část problému, s níž je spojena cena jednoho milionu dolarů od Clayova matematického institutu. Pracovní skupina pro teorii Yang-Mills ve svém třetím prohlášení uvedla, že v úterý 10. listopadu zveřejní dva repozitáře na GitHubu. Jeden obsahuje kompletní kód v jazyce Lean, který OpenAI předložila 28. října. Druhý obsahuje validační zprávu s konstatováním, že předložený materiál „dokazuje existenci čisté teorie Yang-Mills podle zadání problémů, která jsou ve fyzice a matematice standardní.“kitp.ucsb.edu

Zjištění panelu

Hodnocení podle serveru FourWeekMBA, který z dokumentu citoval, uvádí, že předložená práce dokazuje, „že relativistickou kvantovou teorii pole splňující Wightmanovy axiomy lze zkonstruovat jako škálovací limitu čtyřdimenzionální Wilsonovy mřížkové kalibrační teorie pro jakoukoli jednoduchou kompaktní kalibrační skupinu.“ Čisté opětné sestavení, audit axiomů i kontrola nástrojem Comparator proběhly úspěšně. Recenzenti rovněž napsali, že práce „nedokazuje, že limita nekonečného objemu je jednoznačná nebo že existuje hmotnostní mezera.“ Hmotnostní mezera znamená, že vakuum od excitovaných stavů teorie odděluje minimální kladná energie.indiatoday.in+1

Panel přidal vlastní výhradu. Při zpracování kódu využíval model Astra od OpenAI a uvedl, že „zatím netvrdí, že důkazu plně rozumí“. Hodnocení nevycházelo ze samostatného psaného rukopisu. Skupina zároveň upozornila, že v současnosti nemá „žádné spojení s Clayovým matematickým institutem“, takže její závěr není oficiálním rozhodnutím o udělení ceny.fourweekmba.com+1

Jak se důkaz dostal k recenzentům

Společnost OpenAI uvedla, že její modely vytvořily psaný důkaz existence teorie Yang-Mills 9. září a důkaz pokrývající kvantovou chromatodynamiku 18. září. Formalizaci výsledku teorie Yang-Mills v jazyce Lean dokončila 16. října. Téhož dne OpenAI požádala Grossa, aby převzal nad důkazem dohled a spravoval jeho zveřejnění. Gross je stálým členem Kavliho institutu pro teoretickou fyziku. Dalšími členy panelu jsou Michael Douglas, Arthur Jaffe, Igor Klebanov a Nikita Nekrasov.openai.com+2

Lean je asistent dokazování, v němž softwarový nástroj kontroluje každý logický krok. Samotná kontrola softwaru však nemůže potvrdit, zda zakódované tvrzení odpovídá zamýšlenému fyzikálnímu problému. Proto komise nejprve porovnala definice se standardními formulacemi.tokenpost.com

Co zůstává otevřené

Kompletní 1 147 stran dlouhý důkaz zatím nebyl zveřejněn. Komise uvedla, že důkazy spolu se svým hodnocením publikuje, „až budeme spokojeni s jejich kvalitou a správností“. Mezi zbývající otevřené otázky skupiny patří to, zda je limita nekonečného objemu jednoznačná, zda existuje rovnoměrná hmotnostní mezera, a také zákon plochy pro Wilsonovy smyčky. Druhá práce předložená OpenAI s datem 4. listopadu je vedena jako rozpracovaná.kitp.ucsb.edu+1