Tíz megoldhatatlan matekproblémát tör meg az OpenAI új AI-modellje, az Astra

Az OpenAI bejelentette az Astra nevű új AI-modellcsaládját, amely képes több ügynök koordinálására és hosszú távú, komplex feladatok megoldására. A modell már bizonyított: tíz korábban megoldhatatlan matematikai és elméleti számítástechnikai problémát oldott meg, melyek közül több évtizedek óta foglalkoztatta a tudósokat. (The Decoder)

Tudományos áttörések és a jövőbeli tervek

Az Astra által megoldott problémák olyan területeket érintenek, mint a magas dimenziós geometria, a kódoláselmélet, a csoportelmélet, a kvantumkomplexitás, a rács-kriptográfia és az extrém kombinatorika. Az egyik legfontosabb eredmény a nem-szofikus csoportok létezésének igazolása, ami egy jelentős nyitott kérdést zárt le a csoportelméletben. Thomas Bloom, a Manchesteri Egyetem matematikusa „nagy hírként” jellemezte az eredményeket, és kiemelte, hogy az AI nem helyettesíti a matematikusokat, hanem épít a több évszázados elméleti munkára.

Astra a kormányzati tesztelés előtt

Az OpenAI vezérigazgatója, Sam Altman már bemutatta az Astrát politikusoknak és szabályozóknak Washingtonban. A modellcsalád várhatóan az első lesz, amely átesik egy tervezett amerikai kormányzati felülvizsgálati folyamaton, mielőtt nyilvánosan elérhetővé válna. Ez a lépés összhangban van a cég azon törekvésével, hogy olyan AI-rendszereket hozzanak létre, amelyek órákon vagy akár napokon át képesek folyamatosan problémákon dolgozni.

Költséghatékony megoldások és a Lean formalizálás

Az Astra által generált tíz matematikai bizonyítás összesen mintegy 2000 dollár API-költséget emésztett fel az OpenAI számításai szerint. A modell nemcsak a megoldásokat produkálta, hanem azokat Lean nyelven formalizálta is, géppel ellenőrizhető tanúsítványokat hozva létre a matematikai helyesség igazolására. Az OpenAI kutatói segítették a dolgozatok elkészítését és a bizonyítások formalizálását, vállalva a felelősséget azok pontosságáért.

A modell jövője és a kiadás kérdése

Egyelőre nem dőlt el, hogy az Astra végül GPT-6 néven kerül-e a piacra, vagy a GPT-5 család egy új variánsaként. A cég nem közölt konkrét kiadási dátumot sem. Az Astra a Sol, Terra és Luna családok mellett egy új modellosztályt képviselne az OpenAI kínálatában. Noam Brown, az Astra tesztelési technológiájának egyik fejlesztője szerint a modell „jelentős lépés a tudományos érvelés terén”, bár még nem oldott meg Millenniumi-díjas problémákat.

A szerzői jog és az AI-asszisztált kutatás

Az OpenAI hangsúlyozza, hogy a teljes egészében AI által generált bizonyítások esetében a szerzői jog megjelölésekor figyelembe kell venni a rendszer hozzájárulását, hivatkozva a Leideni Nyilatkozatra az AI és a matematika területén. A cég célja, hogy az AI-asszisztált kutatásban az emberi és a gépi hozzájárulás egyaránt megfelelően legyen elismerve.