Az AI a matematikából is kiszorítaná az organikus intelligenciát? Akad ilyen félelem, hiszen a mesterséges intelligencia fejlesztése 2026-ra odáig jutott, hogy már régen meghaladja az átlagember matematikai képességeit.
Mi több, az AI (által a kutatók) egyre több matematikai problémát és sejtést old(anak) meg, és ez – teljesen érthető módon – sok matematikusnál okoz egzisztenciális krízist (theconversation.com), illetve egyre szélesebb körben tesznek fel olyan kérdéseket, mint hogy hova vezet az AI fejlődése, mi lesz a matematika közeljövője, vagy egyáltalán, tekinthetjük-e a gondolkodást az emberi faj unikális tulajdonságának (stanford.edu).
Megértve és átérezve azt a belső szorongást, amit a matematikusok és kutatók élhetnek meg – a szövegírók, írók, grafikusok, és más alkotók ezen már átmentek pár éve –, teljes mértékben elismerem, jogos a szorongásuk. (phys.org)
Amikor pedig valaki odáig jut, hogy a kezdeti pánikon (pánikrohamokon) sikerrel túlhalad és eljut a „mihez kezdjek most?” szakaszba, egy önazonossági-spirituális megoldással tudok szolgálni.
A magam részéről javaslom, tekintsük a matematikai problémákat megoldó AI-t a „matematikus szemüvegének”
A szemüveg elsődleges célja, hogy emberalkotta eszközként segítse az éleslátást mindazoknál, akiknél a természetes látás valamiért nem jó. Az mindegy is, hogy valaki rövidlátó, távollátó, vagy más szem-problémával él együtt, mert közös bennük, emberek százmillióiban, hogy a szemüveg segít nekik az éleslátás megélésében.
Sőt, ott vannak a védőszemüvegek, amelyek látásprobléma nélkül is használatosak, pont a szem épségének megőrzését szolgálva, és említhetjük persze a napszemüvegeket, amelyek egyszerre divatosak és funkcionálisak, hiszen éles, erős fényben segítik a látóképesség megőrzését.
A szemüveg nem gondolkodik – a „matematikus szemüvege” sem
Ám bármilyen okból is hord valaki szemüveget, mindegyikben közös, hogy az egy értelem nélküli tárgy. Még ha kamera is van beleépítve, sőt egész számítógép és okosszemüvegnek hívják, akkor is legfeljebb gépnek tekinthetjük.
Az AI a „matematikus szemüvege”.
A szemüveg élesít, ám a nézés irányát mindig a viselője szabja meg. A csiszolt lencse pontosan képes arra, a fizika törvényei miatt, hogyan törje meg a fényt, „élesíti” az apró betűt, kiemeli a távoli hegygerinc kontúrját – azt viszont sosem az optika dönti el, hova szegeződik a szemünk.
Ugyanez a törvény érvényes a matematikus szemüvegére is: a mesterséges intelligencia bejárhatja egy sejtés bizonyításának teljes labirintusát, végigszámolhatja a kombinatorikus tér minden zugát, kifogástalan logikai láncot építhet egyik állítástól a másikig…
Ám a kérdés feltevésének izgalmát, a probléma kiválasztásának szeszélyét és azt az alig megfogalmazható megérzést, hogy egy adott rejtély miért érdemel egy egész életet, egyedül a viselő adja hozzá.
Az AI segíti a munkát, a kutatást, ám a kíváncsiság szikrája, az álmodozás bátorsága továbbra is a matematikusé marad.
Sakkozógép és négyszín-probléma – ismerős a dráma, csak épp más jelmezben játszották már el korábban is
Amikor a sakkgépek legyőzték a nagymestereket, a sakkjáték halálát vizionálták egyesek és amikor 1976-ban Appel és Haken számítógépes segítséggel bizonyította be a négyszín-tételt (nrich.org), komoly vita bontakozott ki a matematikusok között arról, elfogadható-e bizonyításnak egy olyan érvelés, amelynek döntő számítási lépéseit egyetlen ember sem képes kézzel végigellenőrizni.
A sakk népszerűsége minden korábbi csúcsot megdöntött, a nagymesterek ma gépekkel edzenek, hogy jobban értsék saját játékukat, a matematikusok pedig azóta is bizonyítanak tételeket (illinois.edu), csak épp új eszközökkel, és a négyszín-tétel vitájából mára tananyag lett arról, hogyan tágul egy-egy bizonyítás fogalma minden technológiai ugrás nyomán.
A négyszín-tétel az egyik klasszikus példája annak, hogyan kényszeríti egy új technológia a matematikusokat arra, hogy újragondolják, mit fogadnak el ellenőrizhető bizonyításként.
Egy algoritmus megtalálhatja a legrövidebb bizonyítási utat, ám hogy egy tétel szépsége miért ragadja meg a szívünket, miért érdemes egy egyetemi előadáson tíz percet szánni egyetlen lépés eleganciájára, és miért él tovább egy-egy bizonyítás évszázadokon át a tudomány kulturális emlékezetében, arról egyelőre az dönt, aki a szemüveget viseli, nem pedig a „szemüveg” – legyen az bármilyen okos is. (openai.com)
Most már tényleg vége a világnak… hogy a festők munkáját elveszik a fotográfusok?
A közösségi médiában terjedő apokalipszis-narratívák szívesen vesznek egy kalap alá minden szellemi tevékenységet, mintha a gondolkodás egyetlen homogén massza volna, amelyet egyetlen szoftverfrissítés kiolthat.
A gondolkodás valójában rétegzett szövet, kötegek sokasága – ítélőképesség, empátia, esztétikai érzék, akarat, stb. –, és semelyik réteg nem cserélhető ki egyetlen mozdulattal, még akkor sem, ha az egyik szál, a nyers számítás, ma már gyorsabban fut egy szerverparkban, mint bármelyik emberi koponyában. (arxiv.org)
A festészet történetében a fényképezőgép megjelenése éppen ellenkezőleg hatott, mint ahogy annak idején sokan tartottak tőle: felszabadította a festőket a hűséges ábrázolás kényszere alól, és utat nyitott az impresszionizmusnak, a kubizmusnak, az absztrakciónak, vagyis mindannak, amit ma a festészet legszemélyesebb, legemberibb korszakaként tartunk számon (bár ezzel, persze, nem mindenki ért egyet, és a realizmus, köszöni, azóta is virágkorát éli).
A matematikus szerepe hasonló fordulat előtt áll
Ahogy a kurátor nem fest egyetlen ecsetvonást sem, mégis az ő szeme, ítélete és története emeli jelentőssé a kiállítást, a jövő matematikusa is egyre inkább azzá válik, aki eldönti, mely kérdés érdemli meg a figyelmet, mely bizonyítás gyönyörű és mely csupán helyes, és melyik felfedezés az, amelyet érdemes elmesélni a következő nemzedéknek.
A szemüveg attól szemüveg, hogy valaki viseli, tisztogatja, olykor félreteszi, ha úgy tartja kedve pihenni egy kicsit a saját, csupasz szemével.
Az AI-tól sem várhatunk többet, és nem is kevesebbet: adjon éles, gyors, fáradhatatlan lencsét azoknak a szemeknek, amelyek évezredek óta próbálják kibetűzni a világ mögött rejlő mintázatokat – a kíváncsiság, és az akarat, amely a lencse mögött néz, egyelőre, és remélhetőleg még sokáig, a miénk marad.
Ami pedig a szakmai közösséget illeti, a 2026 június 2-án kiadott Leideni Deklaráció világosan bemutatja a világ matematikusainak álláspontját (leidendeclaration.ai)
A Leideni Deklaráció
A mesterséges intelligencia matematikai térnyerése olyan tempót diktál mostanra, hogy a szakma kénytelen volt leülni, és újratárgyalni saját játékszabályait. Az egyik legfontosabb eredmény a fentebb említett, 2026-ban közzétett Leideni Deklaráció, amelyhez matematikusok ezrei csatlakoztak, és amelyet a Nemzetközi Matematikai Unió is támogatásáról biztosított.
A nyilatkozat alapállása meglepően józan: az AI beépült a matematikai kutatás mindennapi eszköztárába, onnan pedig aligha távozik önszántából.
A valódi tét tehát az, milyen feltételek mellett dolgozzunk vele, ki viseli a felelősséget a géppel előállított eredményekért, és egyáltalán: miként őrizhető meg eközben a matematikai kutatás emberi kultúrája – a viták, a tévutak, a kudarcok, amelyekből egy egész tudományág épül.
A deklaráció kiemelten kezeli a megértést, az átláthatóságot, az emberi ítélőképességet és a szerzői felelősséget
Egy AI-rendszer generálhat levezetéseket, javasolhat bizonyítási lépéseket, és végigkutathat hatalmas kombinatorikai tereket, amelyeket emberi kéz sosem térképezne fel egyetlen élet alatt sem – a publikált eredmény helyességéért mégis, kivétel nélkül, hús-vér kutatók felelnek.
Gép nem kaphat szerzőséget, a használatát pedig világosan fel kell tüntetni, mintha csak egy különösen tehetséges, ám jogilag láthatatlan munkatársról volna szó.
Külön figyelmet érdemel a problémaválasztás kérdése
Könnyen kialakulhat olyan kutatási divat, amelyben egy témát épp azért kezd el vizsgálni sok kutató, mert egy adott AI-modell szemlátomást jól boldogul vele, miközben más, mélyebb vagy hosszabb távon termékenyebb kérdések csendben háttérbe szorulnak, mint a divatból kikopott dallamok.
Ehhez társul egy másik, épp ilyen kényes probléma: a számítási kapacitás és a legerősebb modellek egyre szűkebb körben, néhány technológiai vállalat kezében összpontosulnak, ami a tudomány nyitottságát is próbára teszi.
Az AI lehet a „matematikus szemüvege”
Az AI tehát még jó sokáig csupán eszköz marad – a legfejlettebb neurális hálózat is, hiába látjuk el kamerákkal, dedikált processzorokkal vagy szenzorokkal, továbbra is csak gép, ami utasításokat hajt végre.
A Galilei által csiszolt távcső feltárta a Jupiter holdjait, a mikroszkóp megmutatta a sejtek nyüzsgő mikrovilágát, ám a látvány fizikai törvényeit és mélyebb összefüggéseit kizárólag a lencse mögött figyelő emberi agy tudta értelmezni.
Számítás kontra megértés, avagy mihez kezdjünk az AI-val?
A gépi kalkuláció formális szimbólummanipuláció, míg a valódi matematikai munka esztétikai és filozófiai természetű vállalkozás.
Bár egy neurális hálózat képes ugyan gigantikus levezetéseket előállítani, de fogalma sincs az elegancia, vagy a jelentés fogalmáról, vagy egyáltalán arról, hogy mi is valójában a matematika.
Ám ettől még képes az emberi intelligenciát elérő szinten megoldani problémákat, és a modern, európai és magyar tudománynak fel kell vállalnia ezt az új optikát – mert a rivális nagyhatalmak mind megtették.
Olyan verseny ez, mint a gazdaság vagy a kultúra terén: a második helyezett még örülhet, harmadik helyezett meg nincs, csak végletes függőségbe taszított szatellit államok.
De ne merüljünk el ennyire a valóra váló gibsoni cyberpunk világban, ahol néhány nagyvállalat határozza meg a történelem menetét.
A magam részéről egyszerű megközelítést javaslok mindenkinek, aki sikerrel győzi leg magában a teljesen természetes és érthető egzisztenciális pánikot:
- A gép szerepe az intelligens erőkifejtés, a végtelen kombinatorikai terek kíméletlen átfésülése, formai ellenőrzés, anomáliák és összefüggések szűrése.
- Az ember feladata a kíváncsiság és a kérdésfeltevés, az elméleti keretrendszerek megalkotása, a belátás és a megértés szintézise.
Ha élhetek ezzel a képpel, a matematika most jutott el oda, mint a rövidlátó ember az optikushoz és döntenünk kell: elfogadjuk, hogy a látás élességét a mesterséges lencse garantálja innentől, vagy lemondunk az éleslátásról, ragaszkodva a természetességhez.
Egy dolog azonban bizonyos: aki a természetességnél marad, nem csodálkozhat azon, hogy a versenytársai messze maguk mögött hagyják.
Méghozzá már legalább egy éves megtették, és az előnyük minden nappal egyre növekszik.
(A cikk elsőként a substack csatornámon jelent meg)
