西奧猜想解決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...。這個定理表明，僅基於度的快速計算捕獲了質數計數的固定比例。