OpenAI zverejnil desať matematických výsledkov vytvorených modelom Astra
Interný model Astra podľa OpenAI vyriešil alebo posunul desať dlho otvorených problémov. Firma zverejnila rukopisy aj formálne certifikáty v systéme Lean, nezávislé overenie komunity však zostáva rozhodujúce.