I made a free AI chatbot solve a decade-long maths problem in 13 minutes

Would you play Monopoly with a 720-sided dice? akinbostanci/ Last month, I interviewed mathematicians who were seeking a very peculiar set of dice. For no reason other than they found the problem fun, they had hunted for five dice that could be thrown to decide who moves first in a board game. Crucially, each dice must have the same odds of winning and throws must never tie. Their search took more than a decade, but they finally cracked it. I have also spent a lot of time reporting on the growing power of artificial intelligence to solve mathematical problems, including this week’s shock Fermat’s last theorem formalisation. The two ideas began to commingle in my head after I got off the phone with the dice hunters. Could AI, I wondered, go one better and find a solution for six players, with six dice that decide who goes first? Brute force wasn’t the answer: there are more possible designs of five dice than there are atoms in the universe. So, I fired up ChatGPT, described the problem, and asked for a solution. I nudged and clarified twice, and in total it “thought” for around 13 minutes. I promptly fired the solution off to Eric Harshbarger at Auburn University, Alabama, one of the researchers working on the five-dice problem. “I checked your numbers,” he says. I accept my solution wasn’t a particularly elegant or aesthetically pleasing one. Five of my dice had 720 sides; another had 20. Try rolling a 720-sided dice in the real world, or convincing players that a lopsided set is fair. Nor was my AI-derived solution even the best we know of. Harshbarger and his colleagues have already been able to adapt their five-dice solution to create a six-dice one, where all dice have 360 sides, they told me. This isn’t good enough for a public announcement and still isn’t very practical, although it is undeniably much better than mine. However, a layman like myself, with at best dusty mathematics, found a solution to a thorny, if unserious, problem in minutes . Something fundamental in mathematics has shifted and new models, such as GPT-6, are emerging all the time with ever-better benchmark scores. We live in interesting times. When I passed on the news, Paul Meyer, a software engineer at Google and another dice researcher who collaborates with Harshbarger, wondered whether AI had truly arrived at the problem or whether it had simply found it in some obscure part of the internet.