OpenAI's next major model Astra claims breakthroughs on 10 long-standing math problems
…The company is expecting the wider mathematical community to examine the model's discoveries, establish their significance, and use the underlying ideas for further research. Here are the 10 problems and the…