OpenAI hävdar sig ha löst matematikens miljonproblem – men anklagas för att ha sprungit före en rival

En miljon dollar och hundra år av matematik

Det är inte ofta ett teknologibolag gör anspråk på att ha löst ett problem som världens skarpaste matematiker jobbat på i över ett sekel. Men det är precis vad OpenAI nu gör.

Navier-Stokes-ekvationerna beskriver hur vätskor och gaser rör sig – från luftströmmar kring ett flygplansvinge till turbulensen i en kaffekopps yta. Att formellt bevisa att dessa ekvationer alltid har väldefinierade, stabila lösningar (eller att motbevisa det) är ett av de sju så kallade millennieproblemen som Clay Mathematics Institute utsett. Vart och ett av dem bär en prislapp på en miljon dollar och, ännu viktigare, en plats i matematikhistorien.

Enligt Breakit uppger OpenAI sig nu ha löst just detta problem. Om det stämmer är det ett av de mest remarkabla genombrotten i modern vetenskapshistoria – inte bara för AI-fältet, utan för matematiken som helhet.

Triumfen skuggas av allvarliga anklagelser

Men firandet får vänta. Nyheten om det påstådda genombrottet åtföljs nämligen av en betydligt obekvämare historia.

Enligt uppgifter ska OpenAI ha fått kännedom om att en annan forskargrupp låg nära en lösning – och därefter skyndsamt publicerat sina egna resultat för att hinna publicera först. En professor inom området pekar ut OpenAI för otillbörligt agerande och ifrågasätter om tillvägagångssättet är förenligt med god vetenskaplig sed.

Detta är inte en liten anmärkning. Inom matematiken och akademisk forskning i stort är prioritet – alltså vem som kan visa att de nådde en insikt först – oerhört central. Att strategiskt ligga lågt med ett resultat och sedan publicera i rätt ögonblick för att ta åt sig äran är ett allvarligt brott mot de normer som håller samman den vetenskapliga gemenskapen.

Och det är inte heller första gången OpenAI hamnar i konflikt med dessa normer. Företaget har tidigare fått kritik för bristande öppenhet kring hur deras modeller tränas och vilka datakällor som använts – en sårbar punkt som återkommer gång på gång i debatten om ansvarsfull AI-utveckling.

Beviset återstår att granska

Här är det viktigt att hålla tungan rätt i munnen. Inom matematiken avgörs ingenting av pressmeddelanden eller sociala inlägg. Det som räknas är det formella beviset – och den oberoende kollegiala granskningsprocess som följer. Den processen tar tid, ibland år, och är avsiktligt trög. Det är en funktion, inte ett fel.

Det är fullt möjligt att OpenAI faktiskt har gjort något extraordinärt här. AI-system har redan visat sig kapabla att hitta nya mönster inom matematik som undgått mänskliga forskare – DeepMinds AlphaProof visade förra året att maskiner kan lösa olympiadproblem på hög nivå. Steget till millennieproblem är gigantiskt, men inte logiskt omöjligt.

Men det är lika möjligt att resultaten, när de granskas noggrant, visar sig vara ofullständiga, innehålla luckor eller vila på antaganden som inte håller. Matematikens historia är full av "bevis" som rasat samman under kollegornas lupp.

Kommunikation som konkurrensmedel

Det som stör mig mest som systemutvecklare – och som jag tror är den viktigaste frågan här – är inte om beviset håller. Det är hur det hela kommuniceras.

AI-branschen har ett inbyggt incitament att annonsera genombrott högt och tidigt. Det driver investeringar, lockar talanger och skapar berättelser om teknologisk överlägsenhet. Men när detta incitament kolliderar med vetenskapens långsamma, metodiska sanningssökande uppstår en friktion som urholkar förtroendet – både för enskilda bolag och för AI-fältet som helhet.

Om OpenAI verkligen har löst Navier-Stokes förtjänar de all heder i världen. Men den äran bör förtjänas genom öppen granskning, inte genom att springa före en konkurrent i ett medialt lopp.

Matematikersamhället väntar nu på att se det faktiska beviset. Det borde vi alla göra.