Nobelio laureato vadovaujama komisija patvirtino „OpenAI“ Jango ir Milso teorijos įrodymą

Penkių narių komisija, kuriai pirmininkauja Nobelio premijos laureatas David Gross, padarė išvadą, kad „OpenAI“ mašininiu būdu patikrintas įrodymas rodo, jog kvantinė Jango ir Milso teorija egzistuoja. Komisija taip pat nurodė, kad šis rezultatas neišsprendzia masės tarpo problemos, už kurią Clay matematikos institutas yra numatęs 1 mln. JAV dolerių Tūkstantmečio premiją. Jango ir Milso darbo grupė savo trečiajame pareiškime nurodė, kad antradienį, lapkričio 10 d., paskelbs dvi „GitHub“ saugyklas. Vienoje iš jų yra visas „Lean“ kodas, kurį „OpenAI“ pateikė spalio 28 d., o kitoje: patvirtinimo ataskaita, kurioje daroma išvada, kad pateikta medžiaga „įrodo tyrosios Jango ir Milso teorijos egzistavimą pagal fizikoje ir matematikoje įprastus uždavinio suformulavimus“.kitp.ucsb.edu

Ką nustatė komisija

Vertinime teigiama, kad pateiktas darbas įrodo, jog „reliatyvistinį kvantinį lauko teorijos modelį, tenkinantį Vaightmano aksiomas, galima sukonstruoti kaip keturmatės Vilsono gardelės kalibravimo teorijos skalės ribą bet kuriai paprastai kompaktinei kalibravimo grupei“, cituojant dokumentą skelbia „FourWeekMBA“. Švarus pakartotinis surinkimas, aksiomų auditas ir komparatoriaus patikrinimas buvo sėkmingi. Recenzentai taip pat rašė, kad darbas „neįrodo, jog begalinio tūrio riba yra vienintelė arba kad egzistuoja masės tarpas“. Masės tarpas reikštų, kad mažiausia teigiama energija skiria vakuumą nuo sužadintųjų teorijos būsenų.indiatoday.in+1

Komisija pridūrė ir savo išlygą. Ji naudojosi „OpenAI“ modeliu „Astra“, padedančiu analizuoti kodą, ir pareiškė, kad „dar neteigia iki galo suprantanti įrodymą“. Vertinant nebuvo remiamasi atskiru rankraščiu. Grupė taip pat nurodė, kad šiuo metu „nėra susijusi su Clay matematikos institutu“, todėl jos išvada nėra sprendimas dėl premijos skyrimo.fourweekmba.com+1

Kaip įrodymas pasiekė recenzentus

„OpenAI“ pranešė, kad jos modeliai rugsėjo 9 d. parengė rašytinį Jango ir Milso teorijos egzistavimo įrodymą, o rugsėjo 18 d. kvantinės chromodinamikos įrodymą. Jango ir Milso rezultato formalizavimą su „Lean“ ji baigė spalio 16 d. Tą pačią dieną „OpenAI“ paprašė D. Gross perimti įrodymo priežiūrą ir suvaldyti jo paskelbimą. D. Gross yra nuolatinis Kavli teorinės fizikos instituto narys. Kiti komisijos nariai yra Michael Douglas, Arthur Jaffe, Igor Klebanov ir Nikita Nekrasov.openai.com+2

„Lean“ yra įrodymų tikrinimo programa, kurioje programinė įranga patikrina kiekvieną loginį žingsnį. Tačiau vien tik jos patikrinimas negali patvirtinti, kad užkoduotas teiginys atitinka numatytą fizikos uždavinį. Štai kodėl komitetas pirmiausia palygino apibrėžimus su standartinėmis formuluotėmis.tokenpost.com

Kas lieka neatverta

Visas 1 147 puslapių įrodymas kol kas neišleistas. Komitetas pareiškė, kad paskelbs įrodymus kartu su savo vertinimu, „kai būsime patenkinti kokybe ir teisingumu“. Likę atviri grupės klausimai apima tai, ar begalinio tūrio riba yra vienintelė, ar egzistuoja tolygus masės tarpas, taip pat Vilsono kilpos ploto dėsnį. Antrasis „OpenAI“ pateiktas darbas, datuotas lapkričio 4 d., nurodomas kaip atliekamas tyrimas.kitp.ucsb.edu+1