I'm also wondering about the process. What was the prompt, what they fed into the model, what it was trained on, etc. The article reads like a marketing post.

Nevertheless new maths is exciting and might lead to what I find slightly more interesting - new physics.