OpenAI has certainly caught the attention of the math world by announcing that it had solved 10 open math problems using Astra, ...