OpenAI siger, at et AI-system har løst Navier-Stokes-problemet. Det er et af de syv Millennium Prize Problems, matematikkens sværeste åbne spørgsmål.
Selskabet oplyste, at 10.000 AI-agenter arbejdede sammen i 88 timer for at nå frem til beviset. NYU-professor Tristan Buckmaster bestrider æren.
Hvad OpenAI påstår
Navier-Stokes ligningerne beskriver, hvordan væsker bevæger sig, for eksempel luft eller vand.
OpenAIs bevis peger på, at ligningerne kan nå et finite-time blowup, hvor væskernes hastighed bliver uendelig i stedet for at forblive glat.
Beviset kom fra en model, som endnu ikke er udgivet, og som OpenAI hævder overgår det offentliggjorte GPT-6 Astra-system.
Derefter brugte GPT-6 Astra 17 timer på at verificere logikken i beviset.
Clay Mathematics Institute udlover $1 million for at løse et af de syv problemer. OpenAI har oplyst, at de ikke vil kræve præmien.
Uenighed om ære
NYU-professor Tristan Buckmaster siger, at han og Anthropic-matematikeren Levent Alpöge var tæt på et lignende resultat.
Deres arbejde lå i OpenAIs Codex, en AI-model med fokus på kodning. Buckmaster sagde, at det muligvis har gjort det tilgængeligt for OpenAIs team.
Buckmaster tog direkte fat i bekymringen i en offentlig udtalelse:
”Jeg ved ikke, hvad deres model gjorde eller hvordan. Jeg ved ikke, om vores data blev brugt. Jeg anklager ikke nogen for noget.”
– Tristan Buckmaster, NYU-matematiker
OpenAI-forsker Sebastien Bubeck svarede ved et pressemøde. Han afviste, at selskabet havde fået adgang til eller brugt deres upublicerede forskning.
OpenAI indrømmede dog også noget andet. De kan ikke udelukke, at forskernes brug af produktet kan have påvirket modellens træning.
Uenigheden opstår netop nu, hvor OpenAI angiveligt forbereder en børsnotering til $1 billion. Anthropic jagter en endnu højere værdi gennem sin egen IPO-strategi.
