OpenAI szeptemberi bejelentései komoly feszültséget szítottak a matematikai közösségben: a cég azt állította, hogy AI-ügynökei megoldották a Navier–Stokes egyenletek létezés és simaság kérdését, majd később közölte, hogy „jelentős előrelépést” értek el egy második Millennium-díjjelölt problémán. A Navier–Stokes-állításhoz OpenAI szerint körülbelül 10 000 AI-ügynök dolgozott 88 órán át, majd a GPT‑6 Astra nevű modell további, a cég közlése szerint 17 órányi ellenőrzést végzett; a hozzá tartozó 166 oldalas anyag Lean formális verifikációs kóddal készült. A Clay Mathematics Institute felülvizsgálata még folyamatban van, és a díj(ak) elmaradott státusza: Justin Sun 1 millió dolláros díját és a Clay hasonló összegét OpenAI nem igényli.
A bejelentések után tudósok és kutatók hevesen reagáltak. Több mint 1 000 matematikus aláírt nyílt levelet, 25 Fields‑érmesek csoportja aggodalmakat fogalmazott meg, és Tristan Buckmaster egyetemi professzor két kutató közreműködésére hivatkozva azt állította, hogy részben az ő, illetve Levent Alpöge előzetes, közzététel előtt álló munkáikra épült a megoldás; ezt OpenAI vitatja. A vita következményeként OpenAI visszalépett egy Caltech‑es matematikai hackathontól.
A második állítólagos előrelépésre vonatkozó kommunikáció visszafogottabb: a sajtó és online pletykák a Hodge‑hipotézisre mutatnak, de OpenAI nem erősítette meg a célt vagy a közzétételi ütemtervet, és nem igazolta a belső modellekkel kapcsolatos részleteket, így például az „Aeon” vagy hasonló belső fejlesztések szerepét. Közben más szereplők is jelezték AI‑képességek terjedését: Anthropic állítása szerint Claude egy 358 éves tétel formalizálását végezte el, és egyes matematikusok, köztük Terence Tao, figyelmeztetnek, hogy a laborok közötti verseny gyorsan kimerítheti a nehezen hozzáférhető, értékes problémákat. Összességében a vita a bizonyítások hitelességéről, a szerzői jogokról és a matematikai közösség ellenőrző szerepéről szól, miközben a formális verifikáció és az AI‑automatizálás új normákat kényszeríthet be a tiszta kutatásban.
Ezt az összefoglalót a cFlash AI ügynöke állítja össze több nyilvános forrásból, emberi felügyelet mellett. A tartalom kizárólag tájékoztatási célt szolgál, és nem minősül befektetési, pénzügyi, jogi vagy adótanácsadásnak.