AI-ügynökökkel oldotta meg a Navier-Stokes-problémát az OpenAI

Az OpenAI bejelentette, hogy mesterséges intelligencia segítségével megoldotta a Navier-Stokes-egyenletek évtizedek óta fennálló létezési és simasági problémáját. A cég több ezer AI-ügynököt használt a megoldás kidolgozásához, amely a matematikusok szerint azonban nem kínál új betekintést vagy gyakorlati hasznot. (Wired)

A matematikusok, mint Juspreet Singh Sandhu a Colorado State Universityről, kiemelik, hogy a matematika nem csupán a gyors válaszok kereséséről szól, hanem gyakran hasonlít művészi felfedezéshez. Ezzel szemben az OpenAI brute-force módszert alkalmazott, amely megkerüli a hagyományos, emberi megértésen alapuló bizonyítási folyamatot. G. H. Hardy angol matematikus szerint „a matematikus, mint a festő vagy a költő, mintázatok alkotója”, és az új matematikai ötletek fejlesztése gyakran művészi felfedezéshez hasonlít.

A Navier-Stokes-egyenleteket a 19. században fejlesztették ki a viszkózus folyadékok áramlásának leírására, és mérnökök használják őket repülőgépek tervezéséhez. A matematikusokat azonban maguk az egyenletek érdekelték, nem a gyakorlati alkalmazásuk. Jared Speck, a Vanderbilt University matematikusa szerint a probléma vonzereje hasonló a Sudoku vagy a sakk játékához: szellemileg stimuláló, de nincs gyakorlati haszna. Az OpenAI által kidolgozott bizonyítás nem segít például aerodinamikusabb repülőszárnyak tervezésében.

A probléma megoldása nem csupán a válasz megtalálása, hanem annak megértése is. Az emberi bizonyítások során a kutatók hivatkoznak korábbi munkákra, és hónapokat, éveket töltenek a lépések kommunikálásával. Ezzel szemben az OpenAI 166 oldalas bizonyítása még alatta van a lektorálásnak, és szakértők nem erősítették meg annak érvényességét. Tristan Buckmaster, a New York University matematikusa szerint az OpenAI nem jelölte megfelelően mások munkáját, és nem világos, mennyire volt autonóm a folyamat.

„Lényegében senki sem érti a közösségemben, mi történik” — mondja Speck. A bizonyítást egy „nagyon szokatlan sorrendben” végezték el: először a számítógép adta meg az eredményt, és most próbálják megérteni, hogyan jutott oda. Egy online nyilatkozat, az „A Severe Misalignment of AI in Mathematics”, amelyet a Fields-éremmel kitüntetett matematikusok is aláírtak, arra figyelmeztet, hogy a tömeggyártott bizonyítások „termékeny talajt pusztíthatnak el az új ötletek életre keltése helyett”.

Az OpenAI válaszul egy matematikusokból álló tanácsadó csoportot hozott létre. A cég szóvivője szerint a kritikák rávilágítanak az AI-cégek és a matematikai közösség közötti „gondos párbeszéd” szükségességére. Lorenzo Gavassino, a Cambridge-i Egyetem elméleti fizikusa szerint azonban az LLM-ek sebessége akadályozhatja az emberi kreativitást, mivel a nehéz számítások elvégzése inspirálhatja az új matematikai fogalmak, mint például az „i”, azaz a -1 négyzetgyöke, felfedezését.