A matematika tudományága, sokak szerint, az abszolút igazságra törekszik. De napjainkban a mesterséges intelligencia által generált matematikai bizonyítások elterjedése komoly kihívásokat jelent a matematikusok számára.

Miért veszélyes az AI-invázió a matematikában? Mert eljött a bizonyítás válsága! A jelenség különösen aggasztó, mert az AI képes koherensnek tűnő, de hibás tartalmat produkálni, ami nehezíti a minőségi ellenőrzést. Míg a fizikában egy elméletet tudományosan elsöpörhet egy új mérés, addig a matematikai bizonyítás örök. Ebbe a zárt, logikai rendszerbe robbant be a generatív mesterséges intelligencia (LLM-ek). Sajnos, nemcsak segíti a kutatókat, hanem megoldatlan problémák tömeges bizonyításával árasztja el a szaklapokat.

Félreértés ne essék nem az az újdonság, hogy amatőrök különféle fórumokon azt jelentik be, hogy megoldottak híres, régóta nyitott matematikai problémákat. Hanem, hogy az a bizonyos állatkerti kerítés még alacsonyabb lett és ezzel aláássák az ellenőrizhetőséget, a megértést és a tudományos bizalmat. Ugyanis, amíg az AI nem képes garantálni a logikai folytonosságot minden egyes lépésben, addig a tömeges AI-bizonyítások inkább tekinthetők digitális környezetszennyezésnek, mint tudományos haladásnak.

A hibás vagy értéktelen publikációk száma túlterheli a szakértői közösséget és nehezíti a minőségi ellenőrzést.

A matematika célja nem csupán az, hogy tisztában legyünk egy állítás igazságával, hanem az is, hogy értsük, miért igaz. A mesterséges intelligencia platformjai gyakran produkálnak hallucinációkat vagy olyan logikai ugrásokat, amelyek elsőre professzionálisnak tűnnek. De ezeket jobban megvizsgálva kiderül, hogy nincs mögöttük valódi matematikai alap.

A tudományos folyóiratok „peer-review” (szakmai bírálati) rendszere már most is túlterhelt. Egy AI másodpercek alatt generálhat egy 50 oldalas, rendkívül komplexnek tűnő bizonyítást. Ezek ellenőrzése viszont egy ember számára hetekbe vagy hónapokba telhet. Főleg, ha valaki lelkiismeretes. Miért veszélyes az AI-invázió a matematikában? Egy hibás bizonyításra épülő későbbi kutatás kártyavárként döntheti össze az adott részterület eredményeit.

Vannak érdekes és talán vitathatatlan eredmények is. Sőt az, hogy a mesterséges intelligencia milyen gyorsan fogja megváltoztatni a matematikát, még nem világos, kétségtelen azonban, hogy az átalakulás folyamatban van.