OpenAI säger att ett AI-system har löst Navier-Stokes-problemet. Det är ett av de sju Millenniumprisproblemen, matematikens svåraste öppna frågor.
Företaget säger att 10 000 AI-agenter samarbetade i 88 timmar för att ta fram beviset. NYU-professor Tristan Buckmaster ifrågasätter att OpenAI ska få äran.
Vad OpenAI påstår
Navier-Stokes-ekvationerna beskriver hur vätskor rör sig, som luft eller vatten.
OpenAI:s bevis visar att ekvationerna kan leda till finite-time blowup, där vätskans hastighet blir oändlig istället för att förbli jämn.
Beviset kom från en icke-utgiven modell som OpenAI säger är bättre än deras GPT-6 Astra-system.
GPT-6 Astra granskade sedan logiken i beviset under 17 timmar.
Clay Mathematics Institute erbjuder 1 miljon USD för att lösa någon av de sju problemen. OpenAI säger att de inte tänker ta emot priset.
Tvisten om äran
NYU-professor Tristan Buckmaster säger att han och Anthropic-matematikern Levent Alpöge var nära ett liknande resultat.
Deras arbete fanns i OpenAI:s Codex, en AI-modell som fokuserar på kodning. Buckmaster säger att det kan ha gjort arbetet synligt för OpenAI:s team.
Buckmaster tog upp saken direkt i ett offentligt uttalande:
“Jag vet inte vad deras modell gjorde, eller hur. Jag vet inte om våra data användes. Jag anklagar inte någon för något.”
— Tristan Buckmaster, NYU-matematiker
OpenAI-forskaren Sebastien Bubeck svarade vid en presskonferens. Han förnekade att företaget hade tagit del av eller använt deras opublicerade arbete.
OpenAI erkände också något annat. De kan inte utesluta att forskarnas användning av produkten påverkade modellens träning.
Tvisten uppstår när OpenAI förbereder en offentlig börsintroduktion värderad till 1 biljon USD. Anthropic siktar på ett ännu högre värde genom sin egen börssatsning.
