2026 júniusában tíz ország mintegy 60 szakembere – kutatómatematikusok, számítástudósok, filozófusok és társadalomtudósok – több hónapos egyeztetés után kiadott egy nyilatkozatot a mesterséges intelligenciáról és a matematikáról. A Leideni Nyilatkozat (Leiden Declaration on AI and Mathematics) néven elhíresült kezdeményezést máris felkarolták a világ legtekintélyesebb szakmai szervezetei, köztük a Nemzetközi Matematikai Unió (IMU), valamint olyan vezető tudósok, mint a Fields-érmes Terence Tao. A nyilatkozatot a HUN-REN Rényi Alfréd Matematikai Kutatóintézet több vezető munkatársa is aláírta már.
„Nem kompromisszum, hanem közös nevezős vélemény született, ami nem egy megkésett reakció vagy segélykiáltás, sokkal inkább ébresztőnek szánjuk” – hangsúlyozta Bryna Kra, a Northwestern University professzora, az Amerikai Matematikai Társaság korábbi elnöke, az előkészítő munkacsoport tagja a HUN-REN Rényi honlapján megjelent interjújában. (Az interjú teljes szövege itt olvasható.) „Itt az ideje, hogy ezekkel az ügyekkel elkezdjenek foglalkozni a matematikusok, mert a kutatási területünk gyorsan változik, és ha szeretnénk beleszólást abba, hogy mivé válik, akkor nem hallgathatunk tovább. (...) Nagyon sokan nyilvánítanak hangosan véleményt, akik azonban nem matematikusok, hanem túlnyomórészt olyan cégek hangadói, amelyeknek befektetéseik, így üzleti érdekeik vannak.”
Veszélyben a tudományos integritás
A deklaráció hangsúlyozza: a matematika nem pusztán tételek automatizált előállításáról szól, hanem az emberi megértésről és a bizonyítások átláthatóságáról. Az AI rohamos fejlődése – a diákolimpiai feladatokat abszolváló rendszerek vagy az akár PhD-szintű problémákat megoldó modellek – azonban közvetlenül veszélyezteti a tudományág alapértékeit:
- Bizonyítás és megértés: a matematikai bizonyítás nemcsak azt mutatja meg, hogy valami igaz, hanem azt is, hogy miért igaz. A jelenlegi AI-technológiák hihetőnek tűnő, ám esetenként hibás érveléseket generálnak, amelyek szinte megkülönböztethetetlenek a helyes bizonyításoktól, ezzel túlterhelve és így veszélyeztetve is a szakértői bírálati (peer review) rendszert.
- Szerzőség és felelősség: fontos, hogy a tudományos eredmények (és nemcsak a matematikában) konkrét kutatókhoz köthetők, akik felelősséget vállalnak helyességükért. A közjavakon és publikációkon betanított modellek úgy szintetizálják a tudást, hogy nem hivatkozzák megfelelően a mögöttük álló emberi teljesítményt, gyakran a szerzői jogokat is sértve.
- Átláthatóság és ellenőrizhetőség: a matematikai érvelésnek elvileg bárki számára ellenőrizhetőnek kell lennie, nem függhet szabadalmaztatott vagy bármi okból hozzáférhetetlen eszközöktől.
- Autonómia: A tudományterület egyik legfontosabb erőssége hosszú ideje az, hogy a kutatás irányait és az azok követésére szolgáló módszereket autonóm módon alakítja. Ezt veszélyezteti a Big Tech dominanciája: a technológiai vállalatok térnyerése azzal a kockázattal jár, hogy a kutatási kérdéseket nem a mélyebb tudományos jelentőségük, hanem az automatizált módszerekkel való kezelhetőségük (piacosíthatóságuk) alapján fogják kiválasztani.
Ajánlások és etikai felelősség
A nyilatkozat nem az AI elutasítását, hanem annak felelősségteljes használatát sürgeti. A kutatókat felhívja az AI-eszközök transzparens feltüntetésére a tanulmányokban, és leszögezi: a helyességért és a hivatkozások pontosságáért a felelősség kizárólag az emberi szerzőé marad.
A dokumentum emellett komoly etikai önvizsgálatra szólít fel. Mivel a matematika alapvető szerepet játszik a hadviselés, a tömeges megfigyelés és a demokrácia aláásására alkalmas technológiák fejlesztésében, a szerzők azt tanácsolják a kutatóknak, hogy mérlegeljék munkájuk következményeit, és szükség esetén lépjenek vissza az ártalmas megbízatásoktól.
Mintaként szolgálhat más tudományágaknak
A Leideni Deklaráció jelentősége messze túlmutat a matematika határain: az oktatásra, a jogra és a tudomány egészére alkalmazható, ahol a mesterséges intelligencia aszimmetrikus feltételeket diktál az egyetemi szféra és a techóriások között. Ahogy Bryna Kra professzor rámutatott, a jövő generációinak zsebében már ott lesznek a rendszerek, amelyek válaszolnak helyettük, ezért a magyarázat és az emberi megértés szerepét most kell újradefiniálni.
A hazai párbeszéd folytatásaként ősszel az MTA Matematikai Tudományok Osztálya, a Rényi Intézet és a Bolyai János Matematikai Társulat közös rendezvényt tervez, hogy megvitassák a deklaráció nyomán javasolt hazai irányelveket.
A cikk eredetileg a HUN-REN oldalán jelent meg.
A borítókép illusztráció, forrás: Adobe Stock
