Nobelprisvinnende panel bekrefter OpenAIs Yang-Mills-bevis

Et panel på fem medlemmer ledet av nobelprisvinner David Gross har konkludert med at OpenAIs maskinkontrollerte bevis viser at kvante-Yang-Mills-teori eksisterer. Panelet uttalte også at resultatet ikke avklarer massegapet, den delen av problemet som har utlovet Clay Mathematics Institutes millimeterpris på 1 million dollar. Yang-Mills-arbeidsgruppen uttalte i sin tredje uttalelse at den tirsdag 10. november ville publisere to GitHub-repositorier. Det ene inneholder den fullstendige Lean-koden OpenAI sendte inn 28. oktober. Det andre inneholder en valideringsrapport som slår fast at innsendingen "beviser eksistensen av ren Yang-Mills-teori i henhold til problemstillingene som er standard innen fysikk og matematikk."kitp.ucsb.edu

Hva panelet fant

Vurderingen slår fast at innsendingen beviser "at en relativistisk kvantefeltteori som oppfyller Wightman-aksiomene kan konstrueres som en skaleringsgrense for firedimensjonal Wilson-gitterteori for enhver enkel kompakt gaugegruppe," ifølge FourWeekMBA, som siterte dokumentet. En ren gjenbygging, en aksiomaudit og en Comparator-sjekk ble alle godkjent. Evaluatorene skrev også at arbeidet "ikke beviser at grensen for uendelig volum er unik eller at det finnes et massegap." Et massegap vil si at en minste positiv energi skiller vakuumet fra teoriens eksiterte tilstander.indiatoday.in+1

Panelet la til sitt eget forbehold. Det brukte OpenAIs Astra-modell til å gå gjennom koden og uttalte at det "ikke hevder å forstå beviset fullt ut ennå". Vurderingen tok ikke utgangspunkt i det separate skriftlige manuskriptet. Gruppen uttalte også at den "for tiden ikke har noen tilknytning til Clay Mathematics Institute," så konklusjonen er ikke en offisiell prisavgjørelse.fourweekmba.com+1

Hvordan beviset nådde evaluatorene

OpenAI opplyste at deres modeller produserte et skriftlig bevis for Yang-Mills-eksistens 9. september og et bevis som dekker kvantekromodynamikk 18. september. De fullførte Lean-formaliseringen av Yang-Mills-resultatet 16. oktober. Samme dag ba OpenAI Gross om å ta hånd om beviset og styre offentliggjøringen. Gross er et fast medlem av Kavli Institute for Theoretical Physics. Panelets øvrige medlemmer er Michael Douglas, Arthur Jaffe, Igor Klebanov og Nikita Nekrasov.openai.com+2

Lean er et bevisverktøy der programvare sjekker hvert logiske steg. Verktøyets sjekk alene kan ikke bekrefte at den kodede formuleringen samsvarer med det tilsiktede fysikkproblemet. Det var derfor komiteen først sammenlignet definisjonene med standardformuleringer.tokenpost.com

Hva som fortsatt gjenstår

Det fullstendige beviset på 1 147 sider er ennå ikke offentliggjort. Komiteen sa at den vil publisere bevisene sammen med sin vurdering "når vi er fornøyde med kvaliteten og korrektheten". Gruppens gjenstående åpne spørsmål inkluderer hvorvidt grensen for uendelig volum er unik, om det finnes et uniformt massegap, samt areal-loven for Wilson-sløyfer. En andre OpenAI-innsending, datert 4. november, er oppført som et pågående arbeid.kitp.ucsb.edu+1