Kételyek és tudományos feszültségek kísérik az OpenAI legújabb matematikai áttörését, amely felkavarta a kutatói közösséget.
A vállalat saját fejlesztésű mesterséges intelligenciája a matematika egyik legnagyobb rejtélyét, a Navier-Stokes-egyenletek problémáját próbálta megválaszolni. A kilencven éve nyitott kérdés tisztázására tízezer autonóm ágens egyidejű munkáját vetették be, amelyek 88 órás folyamatos számítás után jutottak el egy véges idejű szingularitás levezetéséhez. Az eredményt formális igazolás formájában, Lean nyelven is közzétették, ám az eredmények közzétételét gyorsan beárnyékolták az elsőbbségről szóló éles viták.
Tízezer ágens küzdelme a folyadékok fizikai modelljével
A Navier-Stokes-egyenletek a folyadékok és gázok mozgását írják le a fizika alaptörvényei alapján. A matematika hét úgynevezett Millenniumi problémájának egyike arra a kérdésre keresi a választ, hogy a háromdimenziós, összenyomhatatlan folyadékok mozgása a sima kezdeti feltételek mellett mindig sima marad-e, vagy véges idő alatt kialakulhat bennük olyan szingularitás, ahol a sebesség minden határon túl növekszik. Egy ilyen pontszerű összeomlás a klasszikus fizikai modell korlátaira mutatna rá, hiszen a valóságos folyadékok nem mozdulhatnak végtelen sebességgel.
Az OpenAI állítása szerint a GPT-6 Astra modellt is felülmúló belső rendszerük egy olyan ellenpéldát konstruált, amely bizonyítja a szingularitás létrejöttét. A folyamat során óriási számítási kapacitást mozgósítottak: a tízezer párhuzamosan futó ágens több mint százmilliárd tokent dolgozott fel a levezetés elkészítéséhez.
Azonosítási és adatkezelési viták a háttérben
A bejelentést követően szinte azonnal etikai és eljárásrendi aggályok merültek fel a kutatói közösségben. Tristan Buckmaster matematikus kijelentette, hogy kollégájával már közel jártak a probléma megoldásához, és a munkájukat részben a fejlesztővállalat kódgeneráló platformján tárolták. A kutató felvetette annak lehetőségét, hogy az adatbázisban tárolott jegyzetek vagy algoritmusok hozzáférhetővé válhattak a mesterséges intelligenciát tanító vagy futtató rendszerek számára.
Bár a fejlesztők határozottan tagadták, hogy közvetlenül felhasználták volna a kutatók bizalmas adatait, azt elismerték, hogy a rivális műhelyekből származó értesülések adtak lökést a projekt felgyorsításának. A piaci és tudományos verseny természetes velejárója, hogy a sejthető áttörések hírére maximális kapacitással reagálnak a szektor szereplői.
A gépi bizonyítások szerepe a matematika jövőjében
A matematikusok körében nemcsak a prioritási vita váltott ki komoly visszhangot, hanem a kutatási módszertan átalakulása is. A levezetés terjedelme miatt az emberi szakértők számára rendkívül időigényes feladat a bizonyítás minden egyes lépésének manuális ellenőrzése. Bár a Lean formális nyelv használata garantálhatja a logikai struktúra helyességét, a tudományos közösség hagyományosan elvárja az érdemi elvi átláthatóságot és a konszenzusos elfogadást.
A Clay Matematikai Intézet egyelőre nem nyilvánította megoldottnak a feladványt, és a folyamatot továbbra is nyitott kutatási területként kezeli. Az eset mindenesetre megmutatta, hogy a szuperszámítógépes kapacitások és az autonóm rendszerek kombinációja gyökeresen megváltoztatja a komplex elméleti problémák vizsgálatát.
