Nefnd Nóbelsverðlaunahafa staðfestir Yang-Mills sönnun OpenAI

Fimm manna nefnd undir stjórn Nóbelsverðlaunahafans David Gross hefur dregið þá ályktun að tölvustudd sönnun OpenAI sýni að skammtafræðileg Yang-Mills kenning sé til. Nefndin sagði einnig að niðurstaðan leysi ekki massabilið, en sá hluti vandamálsins veitir 1 milljónar dollara árþúsundaverðlaun Clay Mathematics Institute. Vinnuhópur um Yang-Mills sagði í þriðju yfirlýsingu sinni að þriðjudaginn 10. nóvember yrðu tveir GitHub-kóðabankar birtir. Í öðrum þeirra er allur Lean-kóðinn sem OpenAI skilaði inn 28. október. Í hinum er staðfestingarskýrsla þar sem fram kemur að skilagreinarnar „sanni tilvist hreinnar Yang-Mills kenningar í samræmi við viðteknar framsetningar í eðlisfræði og stærðfræði“.kitp.ucsb.edu

Niðurstöður nefndarinnar

Í matinu segir að skilagreinarnar sanni „að hægt sé að smíða afstæðilega skammtareikningskenningu sem uppfyllir Wightman-frumsendurnar sem mælikvarðamörk fjögurra vídda Wilson-grindarmælikvarðakenningar fyrir hvaða einfalda þjappaða mælikvarðahóp sem er“, samkvæmt FourWeekMBA, sem vitnaði í skjalið. Endurbygging kóðans, úttekt á frumsendum og athugun Comparator skiluðu allar árangri. Rannsakendurnir skrifuðu einnig að verkið „sanni ekki að mörkin við óendanlegt rúmmál séu einkvæm eða að massabil sé til staðar.“ Massabil myndi þýða að lágmarks jákvæð orka skilji tómarúmið frá örvuðum ástöðum kenningarinnar.indiatoday.in+1

Nefndin bætti við eigin fyrirvara. Hún notaði Astra-líkan OpenAI til að vinna sig í gegnum kóðann og sagðist „ekki halda því fram að hún skilji sönnunina til fulls ennþá“. Rýnin studdist ekki við hið sérstaka ritaða handrit. Hópurinn sagðist einnig „ekki hafa neina núverandi tengingu við Clay Mathematics Institute“, þannig að niðurstaða hans felur ekki í sér úrskurð um verðlaunin.fourweekmba.com+1

Hvernig sönnunin barst rannsakendum

OpenAI sagði að gervigreindarlíkön þess hafi sett fram ritaða sönnun á tilvist Yang-Mills þann 9. september og sönnun sem nær yfir skammta-litafræði þann 18. september. Fyrirtækið lauk við Lean-formalíseringu á Yang-Mills niðurstöðunni þann 16. október. Sama dag bað OpenAI Gross um að taka við sönnuninni og stýra birtingu hennar. Gross er ævilangur félagi við Kavli Institute for Theoretical Physics. Aðrir nefndarmenn eru Michael Douglas, Arthur Jaffe, Igor Klebanov og Nikita Nekrasov.openai.com+2

Lean er sönnunarforrit þar sem hugbúnaður athugar hvert rökrétt skref. Athugun þess ein og sér getur þó ekki staðfest að skráða fullyrðingin svari nákvæmlega til eðlisfræðilega vandamálsins. Þess vegna bar nefndin fyrst saman skilgreiningarnar við staðlaðar framsetningar.tokenpost.com

Hvað er enn ósvarað

Sönnunin í heild sinni, sem er 1.147 síður, hefur ekki verið birt. Nefndin sagðist munu birta sönnunina ásamt matinu sínu „þegar við erum ánægð með gæðin og réttmætið“. Ósvaraðar spurningar hópsins varða meðal annars hvort mörkin við óendanlegt rúmmál séu einkvæm, hvort einsleitt massabil sé til staðar og flatarmálslögmál Wilson-lykkjunnar. Önnur skilagrein frá OpenAI, dagsett 4. nóvember, er skráð sem verk í vinnslu.kitp.ucsb.edu+1