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