It seems that the AI released by OpenAI has "solved" several difficult mathematical problems that humanity has been unable to ...