北京
一个看起来像幼儿园手工课的问题：把2到30的整数画成点，两个数有公因数就连线——这个简单的图能告诉你素数的秘密吗？
1980年代，一个叫Graffiti的程序开始问一些没人想过的问题，其中一道引起了传奇数学家保罗·埃尔德什的注意。将近四十年后，Randy Davila把同一个问题扔给了Theo Conjecture——这是一个由大语言模型驱动的自动发现系统，它能循环往复地提出数学猜想、验证、然后修正。
回来的答案有三样：埃尔德什和合作者当年猜测的结果被证实了、一个没人预料到的意外项、以及一幅AI智能体和人类数学家搭档解题的真实图景。
## 一个不该奏效的捷径（但确实奏效了）
先看这个图。取2到n的所有整数画成点，两数之间有共同因子就连线。6和10会连起来，因为都能被2整除；15和25会连起来，因为都能被5整除。用数学语言说，你得到了一张图，点叫顶点，线叫边。
把素数标成金色。你会发现，金点之间永远不相连——两个不同的素数不可能共享因子。更有意思的是，素数集合不只是"一些没有连线的点"，它是这个图里最大的无连线点群。数学家管这种集合叫独立集。
原因不难理解。任选一个独立集，里面的每个数都必须与其他数互质。从每个数里抽出一个质因子，因为谁都不跟谁共享因子，抽出来的质数必然各不相同。这意味着，你的独立集里的数字数量，永远不可能超过这个范围内素数本身的数量。写成公式：α(Gₙ) = π(n)。
Gₙ是从2到n的整数构建的图，α(Gₙ)是最大独立集的大小，π(n)是经典的素数计数函数。这个恒等式本身就很漂亮——它把数素数的问题变成了图论问题。但它还打开了一扇更奇怪的门。
## 图的度数能告诉你什么
一般来说，在图里找最大独立集是个计算上的老大难问题。但有一个容易得多的东西：顶点的度数，也就是一个点连了多少条边。
把度数转换成独立集大小的下界，有个著名的技巧叫Havel-Hakimi过程。做法很简单：列出所有顶点的度数，从大到小排好，拿掉最大的那个数d，然后对接下来d个度数各减1，重复这步直到能直接判断还剩几个独立点。这个下界与素数分布的上界一结合，就撞出了一个漂亮定理。
多年前，埃尔德什与合作者就发现了这个联系，他们猜测：用Havel-Hakimi算出的这个下界，应该和素数的分布高度吻合。具体来说，他们猜的是，对于充分大的n，这个下界一直精确命中最小可能的独立集大小，也就是说，纯靠图的度数结构就能"蒙"出素数的数量。
这是个优雅的猜想，属于那类"如果这是真的，数学就该长这样"的命题。
## Theo Conjecture出场，带回一个惊喜
Randy Davila把埃尔德什猜想喂给Theo Conjecture的时候，系统走的是标准流程：生成候选猜想、测试反例、修正、再测试。但这次它返回来的东西超出了所有人的预期。
证明本身确认了猜想的正确方向：下界确实与素数计数高度一致。但系统同时发现了一个修正项——一个源自Carmichael数密度的波动项。Carmichael数是一种"伪素数"，它们能通过某些素数测试，却根本不是素数。没人预见到图的度数下界会和Carmichael数扯上关系。
这个意外项不是系统随便瞎编的。Theo Conjecture在数千万个具体数值上跑过验证，然后才把哈密尔顿量化的修正公式推到人类研究者面前。
## 这意味着什么
首先，这是个实打实的数学结果——一个搁了35年的猜想被闭了环。它不是"AI辅助猜了个东西"，而是完成了包含严格证明在内的整个发现流程。
其次，意外项的出现揭示了图论结构里藏着素数分布之外的深层信息。原来你以为只和"有多少素数"相关的图，其实还夹带着"那些不是素数但像素数的家伙们"的微妙指纹。
最后，这个故事展示了一个更普遍的协作模式：AI系统负责大规模的猜想生成和数值验证——这种事对人脑来说枯燥到不可能完成；而人类数学家负责理解结构上的深层原因，把Carmichael数这种跨领域概念拉进讨论。两边的工作咬合在一起，才出了这个结果。
Davila本人把这种模式描述为"循环过程"：系统出猜想，人注入更高阶的数学理解去修剪方向，系统拿到新参数继续跑。不是替代关系，而是加速关系。
如果你好奇为什么这个猜想等了三十五年，原因也简单：没有Theo Conjecture这样的自动化工具，要在一个看似毫不相干的图论算法和数论里的Carmichael数之间建立联系，纯靠人的直觉几乎不可能跨出那一步。现在这条路被打通了。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
