AI has made many impressive mathematical discoveries in recent months, but this may be the most aesthetically pleasing: a lace-like Venn diagram with tens of thousands of segments and rotational symmetry.
Venn diagrams show all possible relationships between sets, and are commonly used and widely understood with three or four circles. But they can, in theory, be created with as many circles as needed 鈥� as long as legibility isn鈥檛 high on the list of priorities.
Mathematicians have long been fascinated by the idea of hunting for symmetrical Venn diagrams of increasing size. It has been proven that they can only be created with a prime number of sets, but when these are kept 鈥渟imple鈥� 鈥� meaning no more than two curves cross at any point 鈥� they become even harder to find.
Advertisement
In 2012, an 11-set Venn diagram that met those criteria was discovered, and was found in 2014.
Software developer decided to try using AI to find the next largest diagram 鈥� one with 17 sets. He set up a message board on which two AI models, Anthropic鈥檚 Claude Fable and OpenAI鈥檚 GPT-6 Astra, could communicate, and then asked them to work together to find an algorithm that would provide a solution.
He started work on a Tuesday, and by Thursday the models had unearthed a 17-set diagram. Next, he set the models to work finding a 19-set diagram and landed on a solution that Sunday. He is now searching for 23 sets 鈥� although that will require paying for cloud computing to run the algorithm.
The discovery is the latest in a string of mathematical results powered by AI, and another example of an amateur-led discovery. 鈥淎bsolutely, you would not be talking to me right now if it was not for AI,鈥� says Dzoba. 鈥淚鈥檓 not a mathematician. I am a software engineer who knows how to get my computer to do great things.鈥�
In addition to the capabilities of AI, the discovery also depended on a great deal of computing power. 鈥淐omputers are just way faster now,鈥� says Dzoba. 鈥淏ack then [when the 13-set diagram was found], 13 was a clear stopping point. Just like, for me, 29 [is] 鈥� I鈥檓 not going to attempt it. But maybe 15 years from now someone will be like, 鈥�29? I could do that in a week鈥�.鈥�
, a retired mathematician who most recently worked at Macalester College in Minnesota, calls the results 鈥渟pectacular鈥�. 鈥淗is curve is so complicated; the eye can absorb it, but at some point, the boundaries of his curve come so close to touching that I had to zoom in real close to make sure it wasn鈥檛 crashing into itself, and that it was correct,鈥� he says.
arXiv
