Komoly etikai botrány árnyékolja be a matematika egyik legnagyobb rejtélyének állítólagos mesterséges intelligenciás megoldását. Az OpenAI kutatói azt állítják, hogy egy belső modell segítségével bizonyították a Navier-Stokes-egyenletek felhasadását, ám egy egyetemi professzor szerint a cég tisztességtelenül járt el. A tét nem csupán az egymillió dolláros díj, hanem a tudományos kutatás tisztasága.
Tízezer ágens és többmillió dolláros számítási kapacitás
A Clay Matematikai Intézet által meghirdetett hét millenniumi probléma egyike a Navier-Stokes-egyenletek viselkedésére vonatkozik. A folyadékok és gázok áramlását leíró fizikai modell központi kérdése, hogy a matematikai képletek minden körülmények között sima és folytonos megoldást adnak-e, vagy léteznek olyan pontok, ahol a sebesség végtelenné válik. Ez utóbbi jelenséget nevezi a matematika véges időben bekövetkező felhasadásnak.
A bejelentés alapján az OpenAI egy olyan belső rendszert vetett be a feladatra, amely képességeit tekintve felülmúlja a GPT-6 Astra modellt. Mintegy tízezer párhuzamosan dolgozó mesterséges intelligencia ágens 88 órás folyamatos munka során állította össze a bizonyítást, amelyet a formalizált tétorigorózus ellenőrzésére szolgáló Lean nyelvvel is igazoltak. A művelet számítási költsége több millió dollárra rúgott. Bár a sikeres megoldásért egymillió dolláros jutalom járna, a vállalat jelezte, hogy nem tart igényt az összegre.
A kiszivárgott kutatás és a sürgetett bejelentés
Az elért eredményt árnyékolja, hogy a New York-i Egyetem matematikusa, Tristan Buckmaster éles bírálatot fogalmazott meg a folyamat átláthatóságával kapcsolatban. Buckmaster és a rivális Anthropic cégnél dolgozó Levent Alpöge már közel egy éve dolgoztak a kapcsolódó matematikai problémák megoldásán. Munkájuk során nagynyelvi modelleket, köztük az OpenAI felületeit is használták az elméleti lépések ellenőrzésére.
A matematikus beszámolója alapján miután hírek kezdtek keringeni a kutatási haladásukról, az OpenAI vezetősége rendkívüli erőforrásokat mozgósított. Szeptember elején indították el a saját, tömeges gépi számítási folyamatukat, hogy megelőzzék a független kutatók publikációját. A professzor állítása szerint a cég képviselői megpróbálták rávenni őt arra, hogy egy közös közleményben a kollégája mellőzésével számoljanak be az eredményről, amit ő határozottan visszautasított.
Adatkezelési aggályok és háttéralkuk a színfalak mögött
A konfliktus legérzékenyebb pontja az adatok használata körüli bizonytalanság. Mivel a matematikusok a felhőalapú fejlesztői eszközökben tárolták a bizonyítások vázlatait, felmerült a gyanú, hogy az OpenAI modelljei a felhasználói adatokból merítve juthattak előnyhöz. A cég tagadja, hogy közvetlenül hozzáfértek volna a privát feljegyzésekhez, ám elismerték, hogy a névtelepített felhasználói adatok közvetett hatását nem tudják teljesen kizárni.
A felek közötti egyeztetések során feszült párbeszéd alakult ki. A beszámolók szerint a cég illetékesei nyomást gyakoroltak a kutatóra, utalva arra, hogy a nyilvános vita ártat a tudományos karrierjének. Az OpenAI visszautasította a vádakat, hangsúlyozva, hogy az általuk felmutatott bizonyítás szerkezetileg eltér a professzorcsapat eredményeitől, és független matematikai megközelítést alkalmaz.
Tudományos hitelesség a mesterséges intelligencia korában
Az eset rámutat a kereskedelmi alapon működő intelligens rendszerek és a tudományos kutatómunka összetett kapcsolatára. Amikor a kutatók magáncégek eszközeit használják bonyolult hipotézisek tesztelésére, fennáll a veszélye annak, hogy az algoritmusok az így kapott információkat saját céljaikra hasznosítják. A tudományos közösség vezető alakjai arra figyelmeztetnek, hogy a gépi bizonyítások terjedése ellenére a kutatási folyamat átláthatósága és az emberi teljesítmény elismerése nem szorulhat háttérbe.
A szakma most alapos vizsgálatnak veti alá a nyilvánosságra hozott 165 oldalas dokumentumot és a hozzá tartozó kódokat. A történet rávilágít arra, hogy a technológiai óriások jelenléte a matematika legmagasabb szintjein is új etikai elvárásokat támaszt a szereplőkkel szemben.
