对称 Venn 图 39 年纪录被打破：AI 协作找到 17/19/23 曲线简单对称解

pickover · x · 2026-10-22

数学家 Chris Dzoba 在论文中报告构造出 17、19、23 条曲线的简单旋转对称 Venn 图，突破了自 2014 年以来仅知 13 条曲线的纪录。方法是在球面的旋转不变四角化上运行 Metropolis 随机游走，从 Griggs-Killian-Savage 图出发逐步消解多点交叉；23 曲线情形曾被极点附近重复区域卡住两周。每张图都附机器可检验证书，其中三个已用 Lean 4 形式化验证。作者提到发现过程有两个人工智能模型相互通信协作参与，配图被称作「上帝之眼」。