Az OpenAI Astra modellje tíz új matematikai eredményt ért el, köztük egy nem szofikus csoport megkonstruálását. A bejelentett bizonyítások között olyan eredmény is van, amely Kun Gábor, a HUN-REN Rényi Alfréd Matematikai Kutatóintézet kutatójának korábbi munkájára épül.