Az emberek okosabbak, mint a mesterséges intelligencia.

A Google DeepMind és az OpenAI aranyérmet nyert a Matematikai Olimpián, de a csapat amerikai tinédzserei így is magasabb pontszámot értek el, mint ez a két gép.

A 2025-ös IMO-t július 10. és 20. között rendezték meg a Queensland állambeli Sunshine Coaston, Ausztráliában, 630 résztvevővel. Közülük 67-en (körülbelül 11%-uk) aranyérmet nyertek. Az a tény, hogy a mesterséges intelligencia is hasonló teljesítményt ért el, történelmi mérföldkő.

Ez az első év, hogy az IMO verseny hivatalosan is együttműködik számos mesterséges intelligencia fejlesztővel. Az IMO bírái megerősítették a partnercégek, köztük a Google eredményeit, és kérték őket, hogy július 28-ig tegyék közzé az eredményeket.

A végeredmények azonban azt mutatták, hogy még a legfejlettebb és legmodernebb gépeket is legyőzték a világ legtehetségesebb tinédzserei.

Az emberiség utolsó fala?

A közismerten szigorú IMO vizsga két napig tart. A diákoknak minden nap három, egyre összetettebb problémát kell megoldaniuk alig több mint négy óra alatt. A kérdések algebrát, geometriát, számelméletet és kombinatorikát ölelnek fel.

Komplex és szokatlan problémái miatt az éves matematikai teszt hasznos eszközzé vált a mesterséges intelligencia fejlődésének évről évre történő mérésére. A gyors fejlődés ezen korszakában a vezető kutatólaboratóriumok arról a napról álmodoznak, amikor rendszereik elég erősek lesznek ahhoz, hogy IMO aranyérmet nyerjenek.

Bár ez a törekvés megvalósult, amikor a Google és az OpenAI mesterséges intelligenciája aranyérmet nyert, figyelemre méltó, hogy 26 diák magasabb pontszámot ért el.

Köztük van az amerikai csapat négy sztárja, köztük a kétszeres aranyérmes Qiao Zhang, és Alexander Wang, aki New Jersey harmadik egymást követő aranyérmét hozta haza. Ezzel az eredménnyel Wang minden idők egyik legkiemelkedőbb fiatal matematikusává vált, és akár jövőre is nyerhet egy újabb aranyérmet az IMO-n.

Az amerikai csapat a 2025-ös Nemzetközi Matematikai Olimpián. Fotó: WSJ.

A WSJ- nek nyilatkozva Zhang elmondta, hogy a vizsga során a 6. számú feladattal töltötte a leghosszabb időt. Ez egy közismerten nehéz kombinatorikus probléma, amely a matematika egy ágát öleli fel, amely magában foglalja a diszkrét objektumok számlálását, rendezését és kombinálását.

A probléma megoldása találékonyságot, kreativitást és intuíciót igényel, amit az emberek tudnak hasznosítani, de a gépek nem, vagy legalábbis egyelőre nem. „Valójában egy kicsit félnék, ha a mesterséges intelligencia modelljei meg tudnák oldani a 6. problémát” – mondta Zhang.

A 6. számú feladat megbénította a DeepMind és az OpenAI modelljeit, de nem csak a mesterséges intelligencia küzdött. A 630 versenyző közül 569 szintén 0 pontot kapott. Csak 6-an kaptak tökéletes, 7 pontot. Zhang, aki büszke volt a részleges megoldására, 4 pontot szerzett, többet, mint a legtöbb versenyző.

A folyamatos fejlődéssel sokan azt sugallják, hogy a mesterséges intelligencia „elpusztíthatja” az emberiséget a matematika terén. Junehyuk Jung azonban nem ért ezzel egyet.

Jung, az IMO korábbi aranyérmese jelenleg a Brown Egyetem docense és a DeepMind vendégkutatója. Úgy véli azonban, hogy ez nem az emberiség utolsó csatája. Jung szerint az olyan problémák, mint a 6. számú probléma, legalább még egy évtizedig gondot fognak okozni a mesterséges intelligenciának.

„Vannak dolgok, amiket a mesterséges intelligencia nagyon jól fog csinálni. Azonban továbbra is lesznek olyan dolgok, amiket az emberek jobban tudnak csinálni” – jegyezte meg Jung.

Az aranyéremért folyó verseny matematikából

2021-ben egy Alexander Wei nevű diák egy kutatási projekt részeként arra kérték, hogy jósolja meg a mesterséges intelligencia matematikai képességeit 2025 júliusára. Más előrejelzéseket figyelembe véve Wei ezt túl optimistának tartotta.

Ez a korábbi diák azonban most élő bizonyíték arra, hogy mennyire tévedett. Wei a kutató , aki az OpenAI IMO projektjét vezette. Ami még lenyűgözőbb, az az, ahogyan ezt csinálták.

Nemcsak az OpenAI, de a Google is jelentős áttörésnek nevezte az IMO 2025-ön elért eredményeket. 2024-ben a mesterséges intelligencia modelljeihez a problémákat számítógépes programozási nyelvekre kellett lefordítani a matematikai bizonyítás érdekében.

Mindössze egy év alatt ezek a rendszerek teljes mértékben „természetes nyelven” működtek, emberi beavatkozás nélkül. A DeepMind a vizsgát az IMO 4,5 órás határidőjén belül is elvégezte. Összehasonlításképpen, 2024-ben ennek a rendszernek több napra volt szüksége a megoldás kiszámításához.

Sokan versenytársnak gondolhatják a mesterséges intelligenciát. Azonban a modellek mögött állók kiegészítő eszközökként tekintenek rájuk.

A 2025-ös Nemzetközi Matematikai Olimpia végeredménye. Fotó: WSJ.

„Ez potenciálisan egy új számítógép lehet, amely fellendítheti a matematikusok következő generációját” – mondta Dr. Luong Minh Thang, a Google (USA) vezető kutatója.

Három héttel ezelőtt Dr. Minh Thang csapata sikeresen kifejlesztette az AlphaGeometry 2-t. Ennek a verziónak a legfigyelemreméltóbb tulajdonsága, hogy olyan geometriai problémákat tud megoldani, amelyek felülmúlják a Nemzetközi Matematikai Olimpia (IMO) aranyérmeseinek eredményeit.

„Ha az IMO aranyérmes képességekkel rendelkező diákok 50 feladatból 40-et meg tudnak oldani, akkor az AlphaGeometry 2 50-ből 42-t képes lesz megoldani” – osztotta meg boldogan Dr. Thang.

Tavaly ez a modell csak ezüstérmet nyert. Idén a Google a Gemini Deep Think többcélú modelljét használja (egy olyan verziót, amelyet korábban a májusi fejlesztői konferencián mutattak be).

Figyelemre méltó, hogy a WSJ szerint a verseny kezdete előtt Dr. Thang csapata még mindig módosításokat végzett. Kezdetben Dr. Thang csak arra számított, hogy a DeepMind modellje mindhárom problémát megoldja az első napon.

A megoldások egyszerűsége, eleganciája és figyelemre méltó olvashatósága lenyűgözte a matematikusokat. Másnap, amint Thang és kollégái felfedezték, hogy a mesterséges intelligencia rendszer két további problémát is megoldott, rájöttek, hogy abszolút megnyerhetik az aranyérmet.

Ennek eredményeként a DeepMind mesterséges intelligenciája 6 problémából 5-öt sikeresen megoldott. Figyelemre méltó, hogy mindegyik empirikus érvelési modellt használt, a matematikai fogalmakat természetes nyelven dolgozta fel, ami éles ellentétben áll a mesterséges intelligencia fejlesztő cégek által korábban alkalmazott komplex megközelítésekkel.

Forrás: https://znews.vn/nhung-nguoi-thong-minh-hon-ai-post1572367.html