Nobelpristagares panel bekräftar OpenAIs Yang-Mills-bevis

En panel med fem medlemmar under ledning av nobelpristagaren David Gross har dragit slutsatsen att OpenAIs maskingranskade bevis visar att kvant-Yang-Mills-teori existerar. Panelen uppgav också att resultatet inte löser frågan om massgapet, den del av problemet som omfattas av Clay Mathematics Institutes Millenniumpris på 1 miljon dollar. Arbetsgruppen för Yang-Mills uppgav i sitt tredje uttalande att den tisdagen den 10 november skulle publicera två GitHub-kodarkiv. Det ena innehåller den fullständiga Lean-kod som OpenAI skickade in den 28 oktober. Det andra innehåller en valideringsrapport som slår fast att insändningen "bevisar existensen av ren Yang-Mills-teori i enlighet med de problemformuleringar som är standard inom fysik och matematik."kitp.ucsb.edu

Vad panelen fann

I utvärderingen slås det fast att insändningen bevisar "att en relativistisk kvantfältteori som uppfyller Wightmans axiom kan konstrueras som en skaleringsgräns av en fyradimensionell Wilsons gittermätteori för varje enkel kompakt gaugegrupp," enligt FourWeekMBA, som citerade dokumentet. En ren återuppbyggnad, en axiomgranskning och en Comparator-kontroll godkändes alla. Granskarna skrev också att arbetet "inte bevisar att gränsen för oändlig volym är unik eller att det finns ett massgap." Ett massgap innebär att en minsta positiv energi skiljer vakuumet från teorins exciterade tillstånd.indiatoday.in+1

Panelen lade till ett eget förbehåll. Den använde OpenAIs Astra-modell som hjälp för att gå igenom koden och förklarade att den "inte hävdar att den ännu helt förstår beviset". Granskningen utgick inte från det separata skrivna manuskriptet. Gruppen uppgav också att den "för närvarande inte har någon koppling till Clay Mathematics Institute," vilket innebär att dess slutsats inte utgör ett officiellt prisbeslut.fourweekmba.com+1

Hur beviset nådde granskarna

OpenAI uppgav att deras modeller genererade ett skriftligt bevis för Yang-Mills existens den 9 september och ett bevis som täcker kvantkromodynamik den 18 september. Bolaget färdigställde Lean-formaliseringen av Yang-Mills-resultatet den 16 oktober. Samma dag bad OpenAI Gross att ta hand om beviset och hantera dess publicering. Gross är permanent medlem vid Kavli Institute for Theoretical Physics. Panelens övriga medlemmar är Michael Douglas, Arthur Jaffe, Igor Klebanov och Nikita Nekrasov.openai.com+2

Lean är ett bevisverktyg där mjukvara kontrollerar varje logiskt steg. Verktygets kontroll kan dock inte ensamt bekräfta att den kodade formuleringen motsvarar det avsedda fysikproblemet. Därför jämförde kommittén först definitionerna med standardformuleringar.tokenpost.com

Vad som fortfarande är öppet

Det fullständiga beviset på 1 147 sidor har ännu inte publicerats. Kommittén uppgav att den kommer att publicera bevisen tillsammans med sin utvärdering "när vi är nöjda med kvaliteten och korrektheten". Gruppens återstående öppna frågor inkluderar huruvida gränsen för oändlig volym är unik, om det finns ett enhetligt massgap samt Wilson-slingans arealag. En andra OpenAI-insändning, daterad den 4 november, anges som ett pågående arbete.kitp.ucsb.edu+1