Tech & Tudomány

Megosztotta a szakmát a mesterséges intelligencia által írt matematikai csomag

Kollektíva szerkesztőség · 2026. 10. 08. · 2 perc olvasás

Az OpenAI október 6-án közzétett 722 olyan matematikai tanulmányt, amelyeket egy, a nagyközönség elől eddig elzárt, belső mesterségesintelligencia-modellel írtak.

Az OpenAI október 6-án, kedden egy nyilvánosan még nem elérhető, belső mesterségesintelligencia-modellje által írt matematikai tanulmányokat hozott nyilvánosságra egy GitHub-tárhelyen. Az összesen 722 anyagot 372 eredménycsoportba rendezték, amelyek 17 különböző matematikai területet ölelnek fel. A dokumentumok a modell fejlesztése során készültek, miután a szoftver a meglévő matematikai teszteken már a maximális eredményt hozta. A tesztidőszak alatt a rendszer megközelítőleg 4000 problémát kapott, egy-egy végeredmény pedig átlagosan három órányi ChatGPT Pro-gondolkodásnak megfelelő számítási kapacitást igényelt.

A kiadott tanulmányok közül a legnagyobb visszhangot a Riemann-sejtéshez kapcsolódó eredmény kapta. A prímszámok eloszlásáról szóló, egymillió dolláros jutalommal kiírt millenniumi probléma teljes megoldását a csomag ugyan nem tartalmazza, de annak egy gyengébb változatát sikerült bizonyítaniuk: a levezetés szerint egy széles függvénycsaládnak – beleértve a Riemann-féle zétafüggvényt is – egy jól meghatározott tartományban nincs zérushelye. Ezenfelül a dokumentumok között szerepel Kaplansky egyik algebrai sejtésének ellenpéldája, valamint a Mahler-sejtés bizonyítása is.

A mesterséges intelligencia által elért eredmények hitelességét a szakma még vizsgálja. A cég a bizonyítások egy részét Lean programozási nyelven is közzétette, amellyel egy gép ellenőrizheti a levezetés minden lépését; ez a módszer 162 fő eredményre terjed ki. Az OpenAI fejlesztői ugyanakkor maguk is figyelmeztetnek arra, hogy a gépileg még nem ellenőrzött levezetések között hibásak is előfordulhatnak, az eredmények megítélését pedig a tudományos közösségre bízzák.

„Nyilvánvalóan ez a matematika történetének legjelentősebb pillanata”– Levent Alpöge, az Anthropic matematikusa

A tudományos élet szereplői rendkívül eltérően reagáltak a példátlan publikációra. Ezzel szemben Peter Woit, a Columbia Egyetem matematika tanszékének fizikusa szerint a kiadvány az úgynevezett slopokalipszis, vagyis az MI-generált szemét tudományos formába csomagolt változata, míg Alvaro Lozano-Robledo, a Connecticuti Egyetem matematikusa azt kifogásolta, hogy a cég miért akar egyszerre ennyi ellenőrizetlen anyagot közzétenni.