西奥猜想解决35年数学难题，发现无人预测的项

20世纪80年代，一个名为Graffiti的程序开始提出人们从未想过的问题，其中一个问题引起了保罗·埃尔德什的注意。将近40年后，兰迪·达维拉将同样的问题交给了Theo-Conjecture——一个由大语言模型支持的自动发现系统，该系统在循环中提出、测试和修正数学思想。结果得到了埃尔德什及其合作者所猜测的答案的证明，一个无人预测的意外额外项，以及人工智能代理与人类数学家合作解决问题时的景象。

想象这样一个图：取整数2到30，每个数字画成一个点。如果两个数字共享大于1的因子，则在它们之间画一条线。例如，6连接到10，因为两者都能被2整除；15连接到25，因为两者都能被5整除。最终得到的图在数学意义上由点（顶点）和线（边）组成。将质数涂成金色。没有两个金点相连，因为两个不同的质数从不共享因子。令人惊讶的是，质数不仅仅是一组不相连的点——它们构成了最大的可能的不相连点集。数学家称这样的集合为独立集。

选取图中任意独立集，其中的每个数字与其他每个数字互质（即不共享因子）。然后从每个数字中取出一个质因子。由于这些数字不共享因子，取出的质数必须彼此不同。这意味着独立集中的数字数量永远不能超过质数的总数。写成公式：α(Gₙ) = π(n)，其中Gₙ是由整数2到n构成的图，α(Gₙ)是其最大独立集的大小，π(n)是经典的质数计数函数。

这本身就是一个简洁恒等式，但它也打开了一扇通往更奇特事物的大门：一个可以通过图结构的简单算术快速计算的数，与质数没有明显联系。计算图的最大独立集通常很困难，但有一个更简单的数——顶点的度（即边数）。有一种将度转化为独立集下界的方法，称为Havel-Hakimi过程，其结果称为图的残差R(G)。计算残差很快，且总是给出一个下界：R(G) ≤ α(G)。对于我们的质数图，R(Gₙ) ≤ π(n)。那么问题是：这种仅考虑度的计算是否仍能捕捉质数计数的正确数量级？

这个问题有着悠久的历史，始于最早尝试让机器独立提出数学的程序之一——Graffiti。1987年，Fajtlowicz将残差引入Graffiti，并猜想它永远不会超过独立数。Favaron、Mahéo和Saclé在次年证明了这一点。Graffiti随后将注意力转向整数上的公因子图，该问题被列入开放问题列表“墙上的文字”，编号448。埃尔德什证明了残差至少以n/log n增长，与质数计数函数相同的速率。与图论学家William Staton合作，他更精确地确定了领先常数：ζ(2)−1 = π²/6 − 1 = 0.644934...。埃尔德什随后询问是否有人能找出相同量级的匹配上界。Staton猜测这个下界就是确切答案，但无人能够证明。

现在轮到Theo-Conjecture。兰迪·达维拉，图论学家和FirstPrinciples的技术成员，自2016年以来一直在构建TxGraffiti。他独立重新发现了公因子图，并在2025年与数论学家Jeffrey Lagarias交流，追溯了问题历史。达维拉将问题输入Theo-Conjecture循环。该系统不是聊天机器人，也不是公式生成器，而是一个有人类顾问在环中的发现系统，大语言模型作为智能体，反复调用组合猜算引擎，进行精确计算，并更新不断发展的数学记忆。

系统的第一个想法是错误的，但失败被记录下来，指导了后续尝试。更好的匹配来自Caro-Wei和，它关注每个数字的连接数而非具体连接。旧常数ζ(2)−1自然出现，同时出现了一个无人预测的二阶项。但那只证明了半边——下界。闭合差距需要真正的洞察：意识到残差只关心每个数字的连接数，而不关心具体哪些数字相连。因此整个图可以重画，只要每个数字保持相同的连接数。通过将具有相同连接数的质数组建成完全图，并让合数吸收移位的连接，可以证明你永远无法同时选择多个质数，这正是Staton的界。

综合所有结果，证明了Staton的原始预测，并添加了一个无人预测的二阶项：R(Gₙ) = c₀·n/log n + (c₀−A)·n/log²n + O(n/log³n)，其中c₀ = ζ(2)−1，A = Σ(k=2→∞) log k / [k²(k−1)] = 0.3201986326...。这个定理表明，仅基于度的快速计算捕获了质数计数的固定比例。