Az OpenAI bejelentése szerint a cég „egy belső verzióját” használta az Astra nevű, következő nagy modelljüknek, és ezzel tíz, korábban nyitott problémát oldottak meg a matematika és az elméleti számítástudomány különböző területein. A vállalat hangsúlyozza, hogy ezek a problémák könnyen ellenőrizhetők, így a megoldások hitelessége viszonylag egyszerűen vizsgálható.
Milyen feladatokat oldottak meg
Az OpenAI közlése szerint a megoldott problémák témakörei a következők voltak: magas dimenziós geometria, kódelmélet (coding theory), aritmetikai áramkörök komplexitása (arithmetic circuit complexity), csoportelmélet, operátoralgebrák, kvantum komplexitás, rácsalapú kriptográfia (lattice cryptography) és extrém kombinatorika. A cég azt írja, hogy minden egyes probléma jelentős érdeklődésre tart számot a saját matematikai közösségében, és több esetben a matematika szélesebb területein is.
Szakmai visszhang
Több szakértő elismerően beszélt az eredményekről. Henry Yuen, a Columbia University számítástechnikai docense azt emelte ki, hogy a megoldott kérdések – például új áramkör‑alsó korlátok, egyszerűen leírható nem‑sofic csoportok vagy a CVP (closest vector problem) közelítésének nehézsége egyedi játékokra hasonló feltételezés nélkül – valóban központi jelentőségűek a területen. Yuen szerint ő személyesen is sokat foglalkozik ezekkel a kérdésekkel, és fontosnak tartja a válaszokat.
Miért fontos ez
A bejelentés kétféleképpen értelmezhető. Az egyik nézet szerint ezek az eredmények arra utalnak, hogy az AI‑rendszerek kezdik mutatni azt a fajta kreatív intuíciót, amely korábban csak emberi kutatókhoz volt kötve. A másik értelmezés szerint az AI mostanra képes megbízhatóan megoldani rendkívül összetett, előre definiált irányú problémákat: az emberi kutatók által kijelölt kutatási irányok mentén dolgozik, és véghezviszi a részletes, nehéz bizonyítási munkát.
Mindkét olvasat közös következménye, hogy a nagy nyelvi és matematikai modellek önállóan is egyre fontosabb, megbízható tudományos eszközökké válnak. Nyitott kérdés marad, hogy képesek‑e ezek a rendszerek maguktól új, eddig fel sem tett kutatási problémákat generálni, amelyek további irányokkal bővítenék az emberi tudás határait. Az OpenAI eredményei azonban azt jelzik, hogy közelebb kerülünk ahhoz az állapothoz, amikor az AI nem csupán segédeszköz, hanem aktív kutatópartner lehet.
További információk
Az OpenAI részletesebb beszámolóját „Ten advances in mathematics and theoretical computer science” címmel publikálta a saját blogján, ahol a konkrét problémákról és a modellek szerepéről találhatók további részletek.
