AI már most képes publikálható kutatási eredményeket produkálni — a matematikusok jövője a tét
A Google DeepMind Aletheia rendszere önállóan előállított doktori szintű kutatási eredményeket aritmetikai geometriai struktúrakonstansok kiszámításával. Az OpenAI modellje pedig cáfolt egy fontos sejtést kombinatorikai geometriában, amit a matematikusok mérföldkőnek ismereltek el.
Matematikai problémák új megközelítése
A kutatók vitatják a motivációt, célt és a terület jövőjét, miközben az AI egyre inkább bevonódik a matematikai problémák megoldásába. Terence Tao, a Kaliforniai Egyetem kutatója szerint az AI „Nagy Matematika” korszakát hozhatja el, ahol emberek és gépek együtt dolgoznak komplex feladatokon. Ez a megközelítés eltér a múltban megszokott, magányos küzdelmektől, ahol a matematikusok gyakran évekig dolgoztak egy-egy probléma megoldásán.AI a matematikai versenyeken
Az AI-rendszerek, mint a Google DeepMind és az OpenAI modelljei, már elérték a nemzetközi matematikai diákolimpia aranyérmes szintjét. Ezek a modellek képesek megoldani hat, nehezen megfogalmazható problémát, ami korábban csak a legtehetségesebb emberi diákoknak sikerült. Az AI fejlődése azonban felveti a kérdést, hogy mi lesz a matematikusok szerepe, ha a gépek már a legnehezebb problémákat is képesek megoldani.Kapcsolódó: AI és a matematikai kutatás védelme
A proof assistant rendszerek, mint az Isabelle, Lean és Rocq, már évtizedek óta léteznek, és segítenek a matematikai bizonyítások logikai helyességének ellenőrzésében. Az LLM-ek mostanában kezdenek bekapcsolódni a folyamatba, automatizálva az informális bizonyítások fordítását géppel olvasható kódra, ami korábban rendkívül időigényes volt. Ez a formalizációs folyamat teszi lehetővé a számítógépek számára a bizonyítások lépésről lépésre történő ellenőrzését, ami az emberi bizonyításoktól eltérően minden feltételezést és következtetést explicit módon rögzít.
Kapcsolódó: AI és a munkamegosztás matematikában
Jeremy Avigad, a Carnegie Mellon Egyetem matematikusa szerint a megértés szépsége és az elvégzett munka miatti elégedettség hajtja a matematikusokat. Ez a belső motiváció azonban kihívás elé nézhet, ahogy az AI egyre inkább átveszi a lassú, deliberatív problémamegoldási folyamatokat. A kutatók ugyanakkor optimisták, és úgy vélik, hogy az ember és az AI együttműködése új korszakot nyithat a matematika kutatásában, ahol a gépek segítenek az emberi intuíció és kreativitás kibontakoztatásában.
Kapcsolódó: Matematika a gépi tanulásban