A little over a week ago, artificial intelligence company OpenAI announced 10 advances in mathematics and computer science made with its as-yet-unreleased model Astra. The discoveries cover a wide ...