OpenAI hävdar att AI löst över 100 matematiska problem men saknar bevis

OpenAI meddelade den 21 september att en namnlös intern modell, som påbörjade träning den 28 augusti, har löst mer än 100 långvariga öppna problem inom de flesta områden av matematiken, inklusive Navier-Stokes-problemet från Millennium-priset. Företaget släppte inga bevis, ingen specificerad lista över problem och ingen extern verifiering, vilket lämnar hela påståendet baserat enbart på deras ord.chosun+1

Vid sidan av tillkännagivandet avslöjade OpenAI bildandet av en rådgivande grupp för matematik och artificiell intelligens, som är värd vid Institute for Advanced Study i Princeton, avsedd att granska framväxande matematiska resultat från AI-system innan de betraktas som lösta.the-decoder+1

Ett banbrytande påstående utan dokumentation

Navier-Stokes-problemet om existens och glatthet är ett av sju Millennium-problem som fastställdes av Clay Mathematics Institute år 2000, där varje problem bär på en prissumma på 1 miljon dollar. Ekvationerna beskriver vätskerörelser och används dagligen inom fysik och teknik, men deras matematiska grunder förblir dåligt förstådda.npr

OpenAI hävdade först den 8 september att deras AI hade löst Navier-Stokes-problemet på 88 timmar med hjälp av cirka 10 000 AI-agenter. Tillkännagivandet den 21 september utökade omfattningen dramatiskt genom att lägga till mer än 100 ytterligare lösta problem och, enligt The Decoder, en påstådd lösning på ett andra Millennium-problem, Hodge-förmodan.the-decoder+2

Matematiker som har granskat det tidigare 166-sidiga Navier-Stokes-manuskriptet säger att Lean-formaliseringen kompilerar korrekt, vilket tyder på att beviset är tekniskt giltigt, men själva artikeln förblir nästan oläslig. "Artikeln är inte skriven för människor," sa Javier Gómez-Serrano, matematiker vid Brown University. James Maynard från University of Oxford tillade att "det har varit mycket svårt att verkligen utvinna någon mänsklig förståelse från detta nya AI-bevis".npr

Kontrovers kring brådskan att publicera

Episoden har väckt skarp kritik från det matematiska samfundet. Tjugofem vinnare av Fieldsmedaljen, inklusive Terence Tao och June Huh, publicerade ett öppet brev den 11 september med titeln "A Severe Misalignment of AI in Mathematics," där de varnade för att det att behandla problemlösning som ett riktmärke för AI-system undergräver den konceptuella förståelse som är central för disciplinen.the-decoder+1

Tristan Buckmaster, en matematiker vid New York University som hade närmat sig en Navier-Stokes-lösning tillsammans med samarbetspartnern Levent Alpöge vid Anthropic, anklagade OpenAI för att ha lärt sig om deras tillvägagångssätt och tävlat om att publicera först. Enligt Buckmaster erbjöd OpenAI att sätta upp honom på deras artikel om han lämnade Alpöge. "Det finns så många indicier på att de hade långt mer kunskap om vad vi gjorde än de lät påskina," sa Buckmaster till NPR. OpenAI har förnekat att de använt deras arbete.npr

En rådgivande grupp med begränsningar

Den nya rådgivande gruppen inkluderar nio matematiker, bland dem Fieldsmedaljörerna Timothy Gowers och Martin Hairer, och arbetar oberoende utan ersättning från OpenAI. Medlemmar kan erbjuda oombedda råd och publicera sina rekommendationer.mixed-news+1

Gruppen har dock en inbyggd begränsning: den har ingen auktoritet över hur snabbt OpenAI driver på nya upptäckter. "Viktigt är att gruppen inte kommer att ansvara för att ge oss råd om hur vi ska styra tempot i vår interna utveckling inom matematiken," skrev OpenAI.the-decoder+1

Clay Mathematics Institute, som bara har delat ut ett Millennium-pris i sin historia, noterade i ett uttalande den 11 september att deras utvärderingsprocess är "medvetet inte förhastad," och kräver publicering i en kvalificerad tidskrift följt av minst två års allmänt accepterande innan något pris övervägs. Inga av OpenAIs påstådda resultat har publicerats, vilket innebär att den klockan inte har börjat ticka.mixed-news