Nobelistin paneeli vahvistaa OpenAI:n Yang-Mills-todistuksen

Nobelisti David Grossin puheenjohtama viisihenkinen paneeli on todennut, että OpenAI:n koneellisesti tarkistettu todistus osoittaa kvantti-Yang-Mills-teorian olevan olemassa. Paneeli totesi myös, ettei tulos ratkaise massarakoa, joka on Clay Mathematics Instituten miljoonan dollarin Millennium-palkinnon perusteena oleva osa ongelmaa. Yang-Mills-työryhmä kertoi kolmannessa lausunnossaan julkaisevansa tiistaina 10. marraskuuta kaksi GitHub-koodivarastoa. Toinen sisältää OpenAI:n 28. lokakuuta toimittaman täydellisen Lean-koodin. Toinen sisältää vahvistusraportin, jonka mukaan toimitus "todistaa puhtaan Yang-Millsin teorian olemassaolon fysiikassa ja matematiikassa vakiintuneiden tehtävänasettelujen mukaisesti".kitp.ucsb.edu

Paneelin havainnot

Arvioinnin mukaan toimitus todistaa, "että Wightmanin aksioomat täyttävä relativistinen kvanttikenttäteoria voidaan rakentaa neliulotteisen Wilsonin hilagauge-teorian skaalausrajana mille tahansa yksinkertaiselle kompaktille gauge-ryhmälle", asiakirjaa sitoneen FourWeekMBA:n mukaan. Puhdas uudelleenrakennus, aksiooma-auditointi ja vertailutarkistus läpäistiin kaikki. Arvioijat kirjoittivat myös, että työ "ei todista, että äärettömän tilavuuden raja on yksikäsitteinen tai että massarako on olemassa". Massarako tarkoittaisi, että pienin positiivinen energia erottaa tyhjiön teorian virittyneistä tiloista.indiatoday.in+1

Paneeli lisäsi oman varauksensa. Se käytti OpenAI:n Astra-mallia apuna koodin läpikäynnissä ja sanoi, ettei se "vielä väitä ymmärtävänsä todistusta täysin". Arvioinnissa ei käytetty erillistä kirjallista käsikirjoitusta. Ryhmä sanoi myös, ettei sillä "ole tällä hetkellä yhteyttä Clay Mathematics Instituteen", joten sen havainto ei ole virallinen palkintoratkaisu.fourweekmba.com+1

Miten todistus päätyi arvioijille

OpenAI kertoi sen mallien tuottaneen kirjallisen Yang-Mills-olemassaolotodistuksen 9. syyskuuta ja kvanttiväridynamiikkaa koskevan todistuksen 18. syyskuuta. Se sai Yang-Mills-tuloksen Lean-formalisoinnin valmiiksi 16. lokakuuta. Samana päivänä OpenAI pyysi Grossia ottamaan todistuksen haltuunsa ja hallinnoimaan sen julkaisua. Gross on Kavli Institute for Theoretical Physics -instituutin vakituinen jäsen. Paneelin muut jäsenet ovat Michael Douglas, Arthur Jaffe, Igor Klebanov ja Nikita Nekrasov.openai.com+2

Lean on todistusavustin, jossa ohjelmisto tarkistaa jokaisen loogisen vaiheen. Sen pelkkä tarkistus ei voi vahvistaa, että koodattu väite vastaa haluttua fysiikan ongelmaa. Siksi komitea vertasi ensin määritelmiä vakiomuotoisiin muotoiluihin.tokenpost.com

Mitä jää avoimeksi

Täydellistä 1 147-sivuista todistusta ei ole julkaistu. Komitea sanoi julkaisevansa todistukset arviointinsa kanssa, "kun olemme tyytyväisiä laatuun ja oikeellisuuteen". Ryhmän avoimiksi jääviin kysymyksiin kuuluvat se, onko äärettömän tilavuuden raja yksikäsitteinen, onko olemassa tasainen massarako, sekä Wilsonin silmukan pinta-alalaki. OpenAI:n toinen toimitus, päivätty 4. marraskuuta, on merkitty keskeneräiseksi työksi.kitp.ucsb.edu+1