OpenAI bejelentette, hogy egy belső fejlesztésű mesterséges intelligencia-rendszer megoldotta a Navier–Stokes létezés és simaság (existence and smoothness) problémát, amely a híres Millennium Prize problémák egyike. A közlemény szerint a számításokhoz körülbelül 10 000 ügynököt (agents) vetettek be, a futás 88 órát vett igénybe, és hozzávetőleg 300 milliárd token fogyott el. Az eredményt egy formális Lean-forma bizonyításként adták meg.
A közlemény szerint az ezt futtató modell teljesítménye meghaladja a GPT-6 Astra szintjét. A bejelentés a cég korábbi állításai sorát követi, amelyek között szerepel az ARC-AGI-3 99,9%-os teljesítménye, az ExploitBench 100%-os eredménye, illetve egy Erdős-sejtés megoldása az idei év folyamán.
Mit jelent ez a gyakorlatban?
A sajtóanyag hangsúlyozza, hogy a korábban több évtizeden, évszázadon át épült matematikai problémák megoldásának üteme megváltozhat: a cég kommunikációja szerint a feladatok ciklikusan követik egymást — csökken egy benchmarken elért hiba, megjelenik a papír, a nagyközönséghez szóló bejelentés, majd már a következő feladat is folyamatban van. A Millennium Prize problémák száma hét; a közlemény azt sugallja, hogy OpenAI ezeket egyfajta prioritási listaként kezeli.
Mi fontos tudni a bizonyításról és az állításról?
A közlemény konkrét számadatokat közöl (10 000 ügynök, 88 óra, 300 milliárd token, Lean-formális bizonyítás), valamint azt az állítást, hogy az alkalmazott modell erősebb a GPT-6 Astra-nál. A bejelentés sorozatos sikerekre hivatkozik, de a publikáció részleteiről, a külső szakértői értékelésről vagy a proof független ellenőrzésének állapotáról a forrásszöveg nem közölt további információkat.
Miért számít ez?
A Navier–Stokes-probléma a matematikai analízis és a folyadékmechanika egyik alapvető, elismert megoldatlan kérdése volt a matematikai közösségben. Ha a bejelentés igazoltan helytálló és a Lean-formális bizonyítás elfogadottá válik, az jelentős mérföldkőnek számítana mind a matematika, mind a számítási módszerek szempontjából. Ugyanakkor a bejelentés tárgyi következményei — például a formális bizonyítást ellenőrző független közlemények vagy adatközlések — a közlemény alapján még hiányoznak.
Záró megjegyzés
OpenAI közleménye azt a mintát tükrözi, hogy a nagy nyelvi és mesterséges intelligencia rendszerek fejlesztői rövid idő alatt több, korábban nehéznek tekintett matematikai feladatot jelentenek megoldottnak. A bejelentés következő lépése a részletes technikai publikáció és a független szakértői ellenőrzés lesz, amely eldönti, mennyire állja meg a helyét a cég állítása.
