Clay Math Institute uttalar sig om OpenAIs Navier-Stokes-påstående

OpenAI meddelade den 8 september att en ännu ej släppt intern AI-modell, med hjälp av cirka 10 000 autonoma agenter under 88 timmar, hade tagit fram ett bevis för att de tredimensionella Navier-Stokes-ekvationerna kan utveckla en singularitet på ändlig tid. Det är ett resultat som, om det valideras, skulle lösa ett av de sex återstående millennieproblemen som ställdes upp av Clay Mathematics Institute år 2000. Tillkännagivandet har dock överskuggats av en trappats upp tvist med NYU-matematikern Tristan Buckmaster och Anthropic-forskaren Levent Alpöge gällande forskningserkännande och den möjliga rollen av privata data.nature+2

Ett påstått genombrott inom strömningsmekanik

Navier-Stokes-ekvationerna beskriver hur fluiders rörelser som vatten och luft fungerar, och frågan om deras lösningar alltid förblir välartade eller kan ”explodera” och skapa fysiskt omöjliga oändliga hastigheter har varit öppen i decennier. OpenAI uppgav att deras bevis visar att en från början jämn fluid i vila kan utveckla en sådan singularitet under jämn yttre påverkan, där resultatet har verifierats med Lean, ett formellt teorembevisningsspråk. Satsningen kostade ”miljontals dollar” i beräkningskraft, enligt OpenAI-chefer under ett presssamtal.axios+3

Scientific American S&P Global Inc. ↗ 0.07% rapporterade att Lean-verifieringen ”nästan garanterar” bevisets korrekthet, även om det bredare matematiska samfundet ännu inte har slutfört sin granskning. Clay Mathematics Institute förklarade den 11 september att man ”delar entusiasmen” när resultatet ”analyseras och granskas”, men avstod från att förklara problemet löst.scientificamerican+1

Tvisten om erkännande

Framgången kom mitt under anklagelser från Buckmaster om att OpenAI påskyndade sitt arbete efter att ha fått kännedom om relaterad forskning som han och Alpöge bedrivit, delvis med hjälp av OpenAIs Codex-verktyg. Buckmaster och Alpöge publicerade sina egna resultat den 7 september, vilka visade singulariteter på ändlig tid för relaterade men förenklade fluidekvationer. Enligt rapportering från TechRepublic hävdar Buckmaster att OpenAI erbjöd honom ensamt författarskap till sin Navier-Stokes-lösning på villkor att Alpöges namn togs bort, ett påstående som förnekas av OpenAI-forskaren Sébastien Bubeck.techrepublic+3

OpenAI uppgav att deras forskare och agenter ”inte såg något av deras arbete på något sätt förrän de publicerade det offentligt” och att ”inga specifika användardata användes för att lösa detta problem”. Företaget erkände dock att man ”inte kan utesluta att avidentifierade data från deras användning av våra produkter hjälpte till att förbättra våra modeller”. Buckmaster kallade offentligt Bubecks redogörelse för ”helt falsk”, och Bubeck bad därefter om ursäkt för en anmärkning han gjort under deras samtal, enligt The Next Web.thenextweb+4

Breda konsekvenser

Tvisten har gett eko i det matematiska samfundet. Ett öppet brev undertecknat av ledande matematiker kritiserade AI-bolag för att skynda sig att lösa kända problem utan tillräckligt erkännande. Fields-medaljören Deng Yu skämtade på sociala medier om att ifall AI löser alla matematikproblem så ”går jag hem och skriver min yuri-roman”, samtidigt som han varnade för att AI har skapat ”en atmosfär av rastlöshet och otålighet i matematiska kretsar”. Clay Mathematics Institutes officiella svar berömde särskilt potentialen för ”ny mänsklig förståelse”, men nämnde ingenting om kvalificering för priset.thenews+1