Az OpenAI belső fejlesztésű Astra modellje mérföldkőnek számító matematikai problémák megoldásával hívta fel magára a figyelmet. Olyan kérdésekről van szó, amelyek évtizedeken át foglalkoztatták a kutatókat, köztük a Gromov-csoport létezése vagy a K-rigidity sejtésének cáfolata.
A megoldások hitelességét tovább növeli, hogy minden bizonyítás Lean 4 formális ellenőrzésen ment keresztül, amely kizárja a megszokott AI-bakikat, amikor egy-egy lépés elsikkad. Ugyanakkor szakmai konszenzusra is szükség lesz még: a bizonyításokat eddig csak ügynökök futtatták le, külső matematikai lektorálás nem történt.
Az Astra működése egyedi: párhuzamos ágakat indít el, és csak az ígéretes vonalat követi tovább, akár napokon át keresve a megoldást — ez lényegesen túlmutat a jelenlegi chatbotok megszokott válaszadásain. A fejlesztők szerint a gép által vezérelt kutatási logika felveti, hogy a kutatói munka jövőjét hamarabb határozza meg a modellek száma, mint az elérhető szakértőké.
A fejlesztések hátterében stratégiai verseny zajlik az olyan cégek között, mint a Google vagy az Anthropic, illetve folyamatosan jelennek meg új, multimodális modellek. Ugyanakkor a belső tesztverziók és a végfelhasználói termékek jelentősen eltérhetnek: teljesítményben és biztonsági funkciókban is vágnak le az ipari rendszerekből, mire elérik a nyilvánosságot.
A videó kitér arra is, hogy milyen hype és feltételezések övezik az Astra–GPT-6 kapcsolatát, és milyen elvárások élnek a felhasználókban az omnimodellek következő generációját illetően. Emellett szó esik a piaci igényekről, árversenyről, és arról, hogyan változtatja meg a technológia gyors fejlődése az AI-modellek kockázatait, illetve a szabályozás szerepét.
