AI Models Discovered Symmetrical Venn Diagrams
The models identified 17-set and 19-set diagrams, building on mathematical records set in 2012 and 2014.
Updated on Oct. 5, 2026 in Mathematics
Live Poll
Do you trust that AI-assisted discoveries are as valuable as those found by human mathematicians alone?
Software developer Chris Dzoba leveraged AI models Claude Fable and GPT-6 Astra to identify symmetrical 17-set and 19-set Venn diagrams. These discoveries follow previous milestones of 11-set and 13-set diagrams achieved in 2012 and 2014.
Why it matters
Mathematicians have long sought to expand the size of symmetrical Venn diagrams, which require a prime number of sets to construct. This development demonstrates how collaborative AI agents can accelerate the search for solutions to complex combinatorial problems.
Symmetrical Venn diagrams, which are defined by simple curves where no more than two intersect at any point, were successfully generated for 17 and 19 sets. The search for a 23-set diagram is now underway.
The players
Chris Dzoba
Software developer who orchestrated the collaborative AI process.
Claude Fable
Large language model utilized for collaborative algorithmic development.
GPT-6 Astra
Advanced AI model tasked with generating new Venn diagram configurations.
The details
Chris Dzoba facilitated the discovery by creating a message board that allowed Claude Fable and GPT-6 Astra to communicate and develop a shared algorithm. The process necessitated substantial cloud computing resources to compute the geometry of the diagrams. These constructions must satisfy strict symmetry conditions, a constraint that limits their creation to sets with a prime number of members.
Timeline
2012: Discovery of an 11-set Venn diagram.
2014: Discovery of a 13-set Venn diagram.
October 2026: Discovery of 17-set and 19-set Venn diagrams.
The Tech Race
The search for symmetrical Venn diagrams represents a classic challenge in combinatorics, with growth in set size slowing significantly over the last decade. By utilizing automated agents, this work accelerates a field that previously relied on incremental manual or traditional computational efforts.
The current research demonstrates the potential for AI models to tackle complex, abstract mathematical proofs that are computationally expensive. Researchers and developers can watch for future results regarding the 23-set diagram, which remains the primary target for the current project.
The takeaway
This breakthrough confirms that AI agents can successfully coordinate to solve complex mathematical puzzles at scale. The community is now focused on whether the team can solve for a 23-set diagram.
Further reading
Explore the historical context of set theory and visual logic in Mathematics.
Source note: This article includes information reported by New Scientist.
Live Poll
Do you trust that AI-assisted discoveries are as valuable as those found by human mathematicians alone?
