AI-válság a matematikában: az OpenAI megoldotta a Navier-Stokes-problémát
Az OpenAI mesterséges intelligenciája néhány nap alatt megoldotta a Navier-Stokes-problémát, amely 87 éve foglalkoztatja a matematikusokat. A fejlemény azonban létezéskérdéseket vet fel a matematika tudománya számára.
Terence Tao, a UCLA neves matematikusa július végén a Matematikusok Nemzetközi Kongresszusán figyelmeztetett: a matematika »turbulens periódusba« lép az AI fejlődése miatt, amely »válságot okoz a matematikai értékekben és gyakorlatban«. Az OpenAI bejelentése szerint 10 ezer AI-ügynöke kevesebb mint négy nap alatt megoldotta a Navier-Stokes-problémát, amely az egyik hét Millenniumi-díj-probléma közé tartozik. Az eredmény azonban vitatott: Tristan Buckmaster NYU-matematikus azt állította, hogy az OpenAI megelőzte őt és munkatársát, akik szintén közel voltak a megoldáshoz.
A matematikai közösség aggodalmait 25 Fields-érmes matematikus fejezte ki egy közleményben, amely szerint »az AI-cégek nyomása a matematikai problémák megoldására mint benchmark súlyosan ártalmaz a matematika tudományának«. A probléma nem az, hogy az AI megoldott valamit, hanem hogy az AI-generált bizonyítások gyakran emberi megértésre alkalmatlanok. Az OpenAI 166 oldalas bizonyítása »szinte érthetetlennek« bizonyult. Bár a történelem azt mutatja, hogy nagy matematikai problémák megoldása során kifejlesztett eszközök később más területeken is hasznosnak bizonyulnak – például Fermat utolsó tételének bizonyítása az online titkosítást alapozta meg –, az AI-megoldások esetében nincs idő az ötletek szétszálazására és megértésére.
Forrás: The Atlantic — „Math Can’t Go On Like This - The Atlantic”
Ez az összefoglaló a fenti forrás alapján, mesterséges intelligenciával készült. Szerkesztőségi ellenőrzésen nem esett át; a részletekért olvasd el az eredeti cikket.