Posted inAI News Open AI OpenAI’s Astra Solves 10 Long-Open Math Problems OpenAI unveils Astra, its next model, with ten proofs on decade-old open math problems. The model stays in testing for now.
