Az OpenAI szerint megoldotta a Navier–Stokes-problémát egyik AI-modellje

Az OpenAI bejelentette, hogy egyik AI-modellje megoldotta a modern matematika egyik legnehezebb problémáját, a Navier–Stokes-egyenletekre vonatkozó kérdést — írja a The Conversation AI. Az egyenletek a víz és a levegő mozgását írják le, és olyan jelenségek megértéséhez szükségesek, mint az óceáni áramlatok vagy a szárnyak körüli légáramlás.

A problémát a Clay Matematikai Intézet az egyik hét Millennium-díjas feladat közé sorolta, az első helyes megoldásért 1 millió dollár jár. Évtizedek óta nem sikerült bizonyítani, hogy az egyenleteknek léteznek-e összefüggő megoldásai. Az OpenAI állítása szerint ez most megtörtént, a bizonyítás helyessége azonban még nincs megerősítve.

Több mint 300 nyitott probléma

Az OpenAI 2026. október 6-án azt is közölte, hogy új belső modelljével több mint 300 régóta nyitott matematikai problémára adott megoldást a terület szinte minden részéről. Az eredmények ellenőrzése azonban továbbra is emberi szakértelmet igényel, különösen a nagy eredmények esetében.

A bizonyítás megértése is munka

Terence Tao, a Kaliforniai Egyetem, Los Angeles matematikusa szerint egy helyesnek bizonyult bizonyítás után is sok a teendő. Ezt a munkát ő „bizonyítás-emésztésnek” (proof digestion) nevezi: a szakemberek átszervezik a bizonyítást, egyszerűsítik, összekapcsolják más területekkel, és olyan módszereket emelnek ki belőle, amelyek máshol is használhatók. Tao szerint ez gyakran új matematikát is eredményez.

A nagy áttörések ráadásul új kérdéseket is nyitnak. A The Conversation szerint a Navier–Stokes-probléma egyes fontos változatait nem lehet az OpenAI javasolt bizonyításának módszereivel megoldani.

Miért fontos a magyarázat?

A matematikusok sosem elégszenek meg azzal, hogy egy állítás igaz. Pitagorasz tétele például több mint 300 különböző bizonyítással rendelkezik, mert minden bizonyítás más összefüggésekre világít rá. A szakma szerint a bizonyítás értéke nem csak az igazolásban áll, hanem a megértésben is — ezt pedig az AI-nek sem könnyű elérnie.

Az OpenAI állításának megerősítéséig a Navier–Stokes-probléma megoldása 2026. október 6-án még csak az OpenAI közleményében szerepel.