OpenAI's Astra solves 10 long-open math problems and publishes the proofs - SiliconANGLE

OpenAI pauses development of Astra AI model over critical cybersecurity capability concerns