OpenAI sier at et AI-system har løst Navier-Stokes-problemet. Det er ett av de syv Millennium Prize Problems, matematikkens vanskeligste uløste spørsmål.
Selskapet opplyser at 10 000 AI-agenter samarbeidet i 88 timer for å komme frem til beviset. NYU-professor Tristan Buckmaster bestrider æren.
Hva OpenAI hevder
Navier-Stokes-ligningene beskriver hvordan væsker beveger seg, som luft eller vann.
OpenAI sitt bevis antyder at ligningene kan føre til såkalt finite-time blowup, når væskehastighetene blir uendelige i stedet for å holde seg jevne.
Beviset kommer fra en ikke-utgitt modell som OpenAI hevder overgår den lanserte GPT-6 Astra-modellen.
GPT-6 Astra brukte så 17 timer på å verifisere logikken i beviset.
Clay Mathematics Institute tilbyr $ 1 million for løsning av et av de syv problemene. OpenAI sier at de ikke vil gjøre krav på prisen.
Striden om æren
NYU-professor Tristan Buckmaster sier at han og Anthropic-matematikeren Levent Alpöge var nær et lignende resultat.
Deres arbeid lå inne i OpenAI sin Codex-modell, en AI-modell for koding. Buckmaster sa at dette kan ha gitt OpenAI-teamet innsyn.
Buckmaster tok opp bekymringen direkte i en offentlig uttalelse:
“Jeg vet ikke hva deres modell gjorde, eller hvordan. Jeg vet ikke om våre data ble brukt. Jeg beskylder ingen for noe.”
— Tristan Buckmaster, NYU-matematiker
OpenAI-forsker Sebastien Bubeck svarte under en pressebrifing. Han avviste at selskapet hadde fått tilgang til eller brukt deres upubliserte arbeid.
OpenAI anerkjente også noe annet. Selskapet kan ikke utelukke at forskernes produktbruk har påvirket modellens trening.
Striden oppstår samtidig som OpenAI forbereder en varslet børsnotering til $ 1 billion. Anthropic jakter på enda høyere verdsetting gjennom egen IPO-satsing.
