AI 协作打破 39 年纪录，构造出 17-23 曲线简单对称 Venn 图

数学家 Chris Dzoba 发布 arXiv 论文，借助 AI 沟通首次构造出 17、19、23 条曲线的简单对称 Venn 图，突破了此前 13 条曲线的纪录（自 2014 年以来未有进展，简单对称纪录已保持数十年）。方法是在球面的旋转不变设置下搜索，结果经 Lean 4 形式化验证。

2026-10-21 ~ 2026-10-22 · 2 条相关

• 借助 AI 沟通发现 17/19/23 曲线简单对称 Venn 图，经 Lean 4 形式化验证 — pickover · 2026-10-21
• 对称 Venn 图 39 年纪录被打破：AI 协作找到 17/19/23 曲线简单对称解 — pickover · 2026-10-22