AI-Assisted Work Breaks Venn Diagram Record with 17, 19, 23 Curves

Mathematician Chris Dzoba, working with AI, constructed simple symmetric Venn diagrams with 17, 19, and 23 curves, shattering the long-standing 13-curve record, with results verified in Lean 4.

2026-10-21 ~ 2026-10-22 · 2 related posts

• Simple symmetric Venn diagrams with 17, 19 and 23 curves found via AI-assisted search, verified in Lean 4 — pickover · 2026-10-21
• New symmetric Venn diagrams with 17, 19 and 23 curves found via AI-assisted search, breaking 2014 record — pickover · 2026-10-22