Az OpenAI bejelentette a következő nagy modelljét, az Astrát, és a bejelentés módja legalább annyira figyelemre méltó, mint maga a modell: a cég tíz, korábban megoldatlan matematikai probléma megoldását tette közzé egyszerre. A problémák többek között a csoportelmélet, a nagydimenziós geometria, a kódoláselmélet és a kriptográfia területéről valók, és volt köztük olyan is, amelyen évtizedek óta nem sikerült érdemi előrelépést elérni.
A bizonyításokat is nyilvánosságra hozták, méghozzá géppel ellenőrizhető Lean formátumban a GitHubon, vagyis megfelelő környezetben bárki letöltheti és ellenőrizheti, hogy a bizonyítások logikailag helyesek-e.
Ez ugyanakkor még nem jelenti azt, hogy mind a tíz eredmény véglegesen lezárt és szakmailag minden szempontból ellenőrzött. Az első független visszajelzések mindenesetre biztatóak: néhány eredményre már napokon belül olyan új tanulmányok jelentek meg, amelyek továbbépítik vagy egymástól függetlenül alátámasztják azokat.
Az cég szerint a tíz sikeres megoldáshoz felhasznált számítási kapacitás API-áron nagyjából 2000 dollárba került. Ez persze nem az Astra fejlesztésének vagy a teljes kutatásnak a költsége, csak a sikeres futtatások becsült ára.
