Matematika a mesterséges intelligencia korában – Szegedy Krisztián külső tag székfoglaló előadása
Szegedy Krisztián külső tag 2025. október 1-jén megtartotta akadémiai székfoglalóját. Az előadásról szóló, képgalériával és videóval bővített összefoglaló.
A mesterséges intelligencia forradalmasítja mindennapi életünket, de vajon hoz-e változást a tudományok terén is? Sokan még kétlik, hogy többre, tényleges kreatív munkára is képes lesz.
Ezeknek a kérdéseknek ma még van létjogosultságuk, hiszen amit ma láthatunk, még aligha több, mint a meglévő tudás és tapasztalatok összegzése.
Szegedy Krisztián előadásában azt próbálta megjósolni, mit várhatunk az évtized második felében: mire leszünk képesek a mesterséges intelligencia segítségével.
Szegedy Krisztián (Az akadémiai székfoglaló előadáson készített képgaléria a fotóra kattintva nézhető meg.) Fotó: mta.hu / Szigeti Tamás
A mesterséges intelligencia egyre inkább a megerősítéses tanulásra támaszkodik. Az utóbbi években világossá vált, hogy a gondolati láncok megerősítésére épülő tanulás egyre inkább lehetővé teszi a nagy nyelvi modellek tényleges érvelését. Másfél évvel ezelőtt még komoly eredménynek tűnt, ha egy nagy nyelvi modell képes volt négyest elérni a matematikaérettségin, idén már a nemzetközi diákolimpiai aranyérem számított alapnak.
A fő kérdés az, hogy ez a fejlődési ütem fenntartható-e. Számíthatunk-e rá, hogy a következő években a mesterséges intelligencia eléri az egyetemisták és doktoranduszok teljesítményét.
Eddig azt láttuk, hogy amikor képesek voltunk ellenőrizhető feladatokat létrehozni, akkor tudtunk a megoldásukra modelleket tréningezni. A fő kérdés a matematika terén, hogy tudunk-e a mesterséges intelligenciának olyan feladatokat létrehozni, amiken dolgozhat, fejlesztheti magát.
Szegedy Krisztián előadásában amellett érvelt, hogy ez lehetséges. Több, rohamos fejlődésben lévő technológia összjátéka teszi lehetővé, hogy a természetes nyelven leírt matematikát számítógéppel értelmezhető kóddá alakítsuk, amit aztán a mesterséges intelligenciák tanítására lehet használni.
Egy konkrét eredmény, amelynek elemzésére sor került: a prímszámtétel egyik legerősebb alakjának mesterséges intelligenciával történő formalizálása. Amíg a sokkal gyengébb változat másfél év munkát vett igénybe a világ legjobb számelmélészeinek közreműködésével, addig az erősebb változat formalizálását (ami kétszer annyi kódot igényelt) három hét alatt tudtuk befejezni, majdnem pusztán a mesterséges intelligenciára hagyatkozva.
Ezeknek és kapcsolódó eredményeknek az elemzésével az előadó megpróbált jóslatokat tenni arra, hova fog tartani a matematika az évtized hátralévő részében.
Szegedy Krisztián 1971-ben született Budapesten.
A Fazekas Gimnáziumban érettségizett, majd emigrált. Matematikából szerzett doktori fokozatot. Az amerikai Elon Muskkal közösen alapított xAI cég társalapítója és munkatársa. Szűkebb szakterülete a mesterséges intelligencia. Legnagyobb hatású tudományos ötletei az Inception hálózat, a kötegnormalizálás és az ellenséges példák, amelyekkel a hálózatokat szándékosan félre lehet vezetni.
Több hazai műhellyel van szakmai kapcsolata.
