维恩图是教育中常见的图形，通常由几个交叠的圆圈组成，用于展示集合间的关系。虽然简单的维恩图很容易画出，但当涉及更多圆圈且要求旋转对称时，这一任务就极具挑战性。近期，研究员克里斯·佐巴在预印本平台上发表了一篇论文，报告使用AI系统构建出的17条和19条曲线的简单旋转对称维恩图，打破了过去的记录，展示了172,032和524,288个区域的完美安排。
维恩图最初由约翰·维恩在1880年提出，绘制一副由n条曲线构成的维恩图需要展示所有交叠组合，每个区域相互连接。随着曲线数量的增加，绘制的复杂度也大大提高。简洁的对称形状在数学中倍受珍视，旋转对称意味着图形可以围绕中心旋转一定角度后依然重合。
早在2004年，研究人员已经证明只有质数数量的曲线才能形成这种旋转对称的维恩图。虽然早期的构造方法中，许多曲线交于同一点，难以被视为“简单”，但这次研究的突破在于采用独特的随机搜索策略，允许在寻找过程中出现错误，最终成功发现了数个新图形。
AI通过随机游走的方法，在保持旋转对称的基础上进行探索，找到的图形如同曼陀罗般复杂却又有序。此外，研究团队还首次找到了一些非单调的维恩图，为这一领域打开了新的研究方向。
为了验证这些复杂图形的正确性，研究者们附上计算机可核查的“证书”，通过独立的程序进行逻辑验证，确保结果的可靠性。这项研究展示了清晰的分工和可复现的代码，与当前对AI的怀疑形成对比，表明机器在数学领域的潜在价值。尽管这一成果仅涉及特定的曲线数，关于更大规模的简单对称维恩图的存在仍需进一步探索，但AI在组合数学方面的应用无疑为数学家提供了新的思路和工具。
发表评论