A little over a week ago, artificial intelligence company OpenAI announced ten advances in mathematics and computer science made with their as-yet unreleased model Astra. The discoveries cover a wide range of mathematical fields, including geometry, cryptography and coding theory.