人工智能书法家破解维恩图，数学界的对称之梦实现了！

在你翻阅课本的时候，偶尔会看到那些圆圈飞舞的维恩图，像几个友好的泡泡正高兴地讨论着它们之间的各种关系。简单的两个或三个圈，小学生都能用蜡笔画出来，仿佛这就是数学的简单入门。然而，当那些圆圈的数量跃升到十几个，更重要的是要求它们在旋转后仍保持完美对称，数学家们却像被丢进了无尽的迷雾中，完全不知所措。最近，研究员克里斯·佐巴在预印本平台arXiv上宣布了一项令人振奋的突破：他和两位AI助手联手，成功画出了由17条和19条曲线组成的简单旋转对称维恩图，彻底颠覆了大家对这个问题的认知。

时间拉回到1880年，英伦的逻辑学家约翰·维恩把这个图形带入了我们的视野。试想一下，如果你想用n条闭合曲线来创造一幅维恩图，你就得完成一场数学的“拼图”游戏，呈现出全集合的交叠组合，数量居然是2的n次方！对，没错，三条圆形交汇可能还算能应付，但一旦超过这小小的数字，简直就是对人的智力和想象力的全面挑战。而当曲线达到17条时，得处理的区域竟然高达131072个，19条曲线时甚至有524288个！这就好比你在搭一个复杂的乐高模型，而每个部件都必须完美吻合，听起来是不是有点令人脊背发凉？

这些数学家们可不止要“画得出”，更要“画得美”。想象一下，一幅图形像一朵优雅的玫瑰，旋转后每个花瓣都得恰到好处，互相重合。可问题是，带有这种对称性的维恩图只能在曲线数为质数时出现。关于这一点，早在2004年，几位数学家就已确认过了。但是，他们的“玫瑰”却总是在交叉点挤得像打堆的沙丁鱼，并不算“简单”。简单的定义是，交点只允许两条曲线穿过，就像路灯下的情侣，各自保持着自己的空间。 ag亚游

之前的纪录是2014年由一位加拿大学者创下，简单对称维恩图的圈数停留在13。而更早时的经典作品则是一位英国统计学家在20世纪末创造出的7条曲线的对称维恩图，至今令人回味。

那么，AI是怎么找到这枚“数学玫瑰”的呢？这要归功于一种新颖的随机搜索策略。这个思路就像打高尔夫球，打得不好还得再试一次，偶尔可以容忍一两下的失误。AI从之前的经典图形出发，一步步解锁这个复杂迷宫，就像小孩子一边走路一边在地上画地图。通过这种方法，它们最终发现了4个17条曲线和9个19条曲线的图形，简直就是丰富的曼陀罗，它们在旋转之下，居然保持了可贵的完美秩序。

可是，这样的复杂图形怎么能让人信服呢？答案是：“交给机器来检查！”每个图形都附上了可由计算机验证的“证书”，简直像给作品打上了藏宝图的标签，保证其万无一失。经过严格的逻辑检查，即使你再怀疑AI的能力，也可以亲自去验证，确保这不是魔术，而是真实的数学奇观。 ag亚游

当然，这些AI画出的美丽图形仍然是针对特定数字的结果，而对于其他质数是否存在规模更大的简单对称维恩图，依然是悬而未决的疑团。不过，这些由AI所“绘制”的数学玫瑰，确实为数学家们的探索之旅提供了一位强力的伙伴。可以想象，未来的数学家们大概可以把这些神秘的图形轻松抖落在餐桌上，如同清晨的露珠，期待着下一个数学的早晨。