Az OpenAI Astra modell tíz megoldatlan matematikai problémát oldott meg

Az OpenAI matematikai jelentésében bejelentette, hogy az Astra modellfamilia – amely a vállalat »következő nagy modellje« – tíz korábban megoldatlan problémát sikeresen megoldott a matematika és elméleti informatika különböző területeiről. A problémák között szerepel a nem-sofikus csoportok létezésének bizonyítása, valamint magasabb dimenziós geometria, kódoláselmélet, csoportelmélet és szélsőséges kombinatorika terén elért eredmények. A Manchester Egyetem matematikusa, Thomas Bloom szerint az eredmények jelentősebbek az előző év május hónapjában publikált egységtávolság-sejtés ellenpéldájánál.

Az Astra a test-time-reasoning technológiára épül, amely lehetővé teszi a modellnek, hogy hosszabb ideig gondolkodjon az összetett problémákon. Noam Brown, a technológia fejlesztésének egyik vezetője azonban megjegyezte, hogy az OpenAI a hét Millennium-probléma közül egyiket sem tudta megoldani – ezekre a Clay Mathematics Institute egyenként egymillió dollár jutalmat tűzött ki. Brown szerint azonban a számítási kapacitás még jelentősen növelhető.

A megoldások létrehozásának költsége figyelemreméltóan alacsony volt: az OpenAI szerint a szükséges tokenek a Sol modell API-árai alapján körülbelül 2000 amerikai dollárt értek. Az emberek az Astra modellel közösen dolgozták fel az érveléseket kéziratokká, majd a modell minden bizonyítást Lean-tanúsítvánnyal formalizált – ez egy gépek által ellenőrizhető matematikai helyesség-igazolás. Az OpenAI világosan elhatárolta az szerzőséget: az emberek segítségnyújtásáért és a helyesség felelősségéért vállalnak felelősséget, de a matematikai érvelés magából a rendszerből származik.

Az Astra modell a Sol, Terra és Luna modellfamiliák mellett egy új modellosztályt képez majd. Az OpenAI még nem döntött arról, hogy GPT-6-ként vagy a GPT-5 sorozat egy variánsként (például GPT 5.7) jelenik-e meg, és a kiadási dátum sem rögzített. A modell jelenleg tesztelés alatt áll, és az első lesz, amely a Trump-adminisztráció új AI-szabályozási keretrendszerén megy keresztül.