OpenAI has revealed solutions to 10 longstanding mathematical problems that were found by its prototype AI model Astra. The announcement is the latest in a string of mathematical discoveries made by ...