Ännu en matematiker anklagar OpenAI för att använda opublicerad forskning

OpenAI meddelade i veckan att en ännu inte släppt AI-modell, samordnad genom en svärm av 10 000 agenter, har tagit fram ett bevis för att Navier-Stokes ekvationer kan "skena iväg" under vissa förhållanden. Om resultatet verifieras skulle det innebära att ett av matematikens sju Millenniumproblem har lösts för endast andra gången i historien. Företaget uppger att det inte planerar att göra anspråk på prissumman på en miljon dollar, och Clay Mathematics Institute listar fortfarande problemet som olöst eftersom reglerna kräver minst två års granskning efter publicering innan ett pris kan delas ut.theconversation+1

Framgången har dock överskuggats av anklagelser om immaterialrättslig stöld och etiska övertramp som har skakat matematikvärlden.

Kapplöpningen om att lösa Navier-Stokes

Navier-Stokes ekvationer beskriver hur vätskor och gaser, som vatten och luft, strömmar och är grundläggande för modern vetenskap och teknik. Millenniumproblemet handlar om huruvida dessa ekvationer kan ge upphov till en "singularitet", ett scenario där flödeshastigheten blir oändlig, vilket är fysiskt omöjligt i naturen.scientificamerican+1

OpenAI uppgav att de den 1 september hörde rykten om att forskare hos konkurrenten Anthropic var nära att lösa två Millenniumproblem. Företaget satte då in sin senaste interna modell, som efter 88 timmars beräkningar och 17 timmars verifiering tog fram beviset. Enligt OpenAI certifierades resultatet med programmeringsspråket Lean, vilket i princip garanterar matematisk korrekthet.theconversation+2

Erkännande, etik och företagsrivalitet

Kontroversen kretsar kring NYU-matematikern Tristan Buckmaster och Anthropic-anställde Levent Alpöge, som hade samarbetat privat på ett relaterat problem. Kvällen före OpenAI:s tillkännagivande publicerade Buckmaster ett inlägg om att duon hade nått ett genombrott gällande Eulerekvationerna, som allmänt ses som ett steg på vägen mot Navier-Stokes.technologyreview+1

I ett offentligt uttalande hävdar Buckmaster att OpenAI kontaktade honom efter att ha fått reda på deras framsteg och erbjöd ett samarbete, men bara om han tog bort Alpöges namn på grund av dennes koppling till Anthropic, ett påstående som OpenAI förnekar. Han frågade också om hans och Alpöges interaktioner med OpenAI:s offentliga modeller hade använts som träningsdata för företaget, men uppger att han inte fick något tydligt svar.theverge+3

OpenAI förnekade att de haft tillgång till specifika användardata, men medgav att de "inte kan utesluta att avidentifierade data från deras användning av våra produkter bidrog till att förbättra våra modeller".businessinsider+1

En dämpande effekt på öppen vetenskap

Den tyske matematikern Andreas Thom har anslutit sig till kritiken och anklagar OpenAI för "oärlighet" efter att hans egna frågor om huruvida hans ChatGPT-interaktioner bidragit till ett annat OpenAI-resultat inom hans område inte besvarats på ett tillfredsställande sätt.theverge

Fieldsmedaljören Terence Tao varnar för att om AI-företag tävlar om att förekomma forskare baserat på rykten om lovande arbete, kan matematiker sluta dela med sig av sina framsteg till forskarvärlden, vilket undergräver principerna för öppen vetenskap. Som MIT Technology Review rapporterat har kontroversen väckt betydligt mer uppmärksamhet än själva det matematiska genombrottet.theconversation+1