I'm also way more interested in the details than the average news article on how AI can do maths now. Like how did they home in on this specific problem to solve? Destiny? Did they brute-force it and try 5000 other unsolved maths problems first? Was it AI assisted or does AI do this on its own? What's the prompt? How many tokens did it burn through? Has it been lucky by chance or would I be able to input the same thing and there's a 90% chance it'll solve it again?