Az év elején Liam Price, egy 23 éves, matematikai végzettséggel nem rendelkező fiatal került a szakmai közvélemény figyelmének középpontjába azzal, hogy egy — korábban mintegy hatvan éve felvetett — matematikai problémára állítólag megoldást adott, miután a kérdést a ChatGPT-hez intézte. Májusban pedig az OpenAI bejelentette, hogy a mesterséges intelligenciája megcáfolt egy, több mint nyolcvan éve felvetett matematikai sejtést, amely szintén Erdős Pál nevéhez kötődik. Ezek a fejlemények nagy nyilvánosságot kaptak, ugyanakkor vitákat is kiváltottak a matematikai közösségben.
A kérdéskörrel kapcsolatban nemrég 150 matematikus adott ki közös, 11 oldalas nyilatkozatot, amelyben a világ kormányait óvják attól, hogy elhiggyék a mesterséges intelligenciáról szóló hangzatos állításokat, miszerint az AI képes lenne megbízhatóan és magabiztosan megoldani komplex matematikai problémákat — erre a dokumentumra hivatkozva számolt be a Futurism.
Mit állít a nyilatkozat és ki szólalt meg?
A nyilatkozatban Ulrike Tillmann, a Nemzetközi Matematikai Unió (International Mathematical Union) alelnöke arra hívta fel a figyelmet, hogy az AI alkalmazása olyan etikai és szakmai kérdéseket vet fel, amelyeket nem hagyhatunk válasz nélkül. Tillmann hangsúlyozta: a matematikai kutatások jövőjét az emberi ítélőképességnek, a tisztességes és átlátható gyakorlati elveknek, valamint a globális matematikai közösség közös értékeinek kell irányítaniuk.
Tillmann szerint az üzleti érdekek torzíthatják egy adott modell képességeinek kommunikációját, ezért a politikai döntéshozókat azzal biztatja, hogy AI-val kapcsolatos döntéseik előtt konzultáljanak matematikusokkal, és ne a figyelemfelkeltő címsorok alapján hozzanak döntéseket.
Leslie Ann Goldberg, az Oxfordi Egyetem kutatója arra figyelmeztetett, hogy a jelenlegi rendszerek gyakran adnak hihetőnek tűnő, de nehezen ellenőrizhető válaszokat, amelyeket nehéz megkülönböztetni a helyes matematikai bizonyítási eljárásoktól. Mivel a tudományos kutatás rendszerint korábbi eredményekre épít, ez különösen kritikus: a közösségnek biztosnak kell lennie abban, hogy a korábbi eredmények valóban helyesek.
Miért fontos ez a vita?
A matematikusok aggodalma több szempontból is érthető: egyrészt a technológiai eredmények túlhangsúlyozása félrevezető lehet, másrészt a modellek által szolgáltatott, de ellenőrizhetetlen állítások veszélyesek lehetnek, ha azok későbbi kutatások alapjává válnak. A nyilatkozatban említették azt is, hogy az AI térnyerése különösen problémás akkor, amikor az akadémiai oktatás és kutatás finanszírozása csökken, hiszen ez a helyzet arra ösztönözheti az intézményeket, hogy költségkímélés miatt inkább automatizált eszközöket alkalmazzanak az emberi szakértelem helyett.
A dokumentum szerzői továbbá azt javasolják, hogy az AI használatát a matematikán túlmutatóan is szabályozni kellene — például a katonai alkalmazások vagy megfigyelési technológiák területén –, mivel ezek egyaránt komoly társadalmi és etikai következményekkel járhatnak.
Összegzés
A 150 matematikus közös nyilatkozata arra hívja fel a figyelmet, hogy a mesterséges intelligencia kapcsán tett ambiciózus állításokat kritikusan kell vizsgálni, és a döntéshozóknak szakértőkkel érdemes konzultálniuk. A vita középpontjában az áll, hogy bár az AI látványos eredményeket tud produkálni, jelenlegi formájában a rendszerek megbízhatósága és ellenőrizhetősége kritikus kérdések maradnak, különösen a matematikai bizonyítások és az azokra épülő tudományos munka esetében.
