新橢圓曲線確立秩下界 30 的新紀錄
一條新橢圓曲線有 30 個經認證的獨立有理點，超越 2024 年紀錄。其確切秩仍屬條件性結論。
一條新近提交、定義於有理數上的橢圓曲線，擁有 30 個可獨立認證的有理點，確立無條件的秩下界為 30，並超越此前至少為 29 的紀錄。
該曲線於 2026 年 8 月 20 日以化名帳戶 ranksunbounded 名義出現在由 NSF 資助的 ICARM 橢圓曲線秩排行榜上。其後的說明列功 Claude 與數學家 Levent Alpöge 及 Ava Howell 合作。Kevin Weil 翌日在 X 上轉發並擴大了這項成果的影響。
這項數學紀錄比 AI 所扮演角色的仍未完整敘述更為確實。ICARM 公開了曲線、全部 30 個見證點，以及精確的獨立性證書。惟目前尚未有論文或技術報告說明候選曲線如何生成、由哪個模型版本進行搜尋，或人類與 Claude 如何分工。
一、新曲線有 30 個經認證的獨立點
第 #273 號曲線以全域極小 Weierstrass 模型表示為
\[ y^2 + xy = x^3
- 201769035260418549083594900060734240952308696994802735114305555x
+ 1151107939141058565733479426024323225135665982951300586808823640527729578307228357301072889377. \]
排行榜記錄其秩下界為 30、樸素高度為 442.0854、Faltings 高度為 34.7705，以及約為 \(1.0721 \times 10^{37}\) 的調節子。它亦提供該曲線的導數、判別式、壞約化素數，以及 30 個有理點的完整座標。
這些點並非從無窮集合中挑出的 30 個例子。對於定義在有理數上的橢圓曲線 \(E\)，Mordell–Weil 定理將其有理點描述為一個有限生成阿貝爾群：
\[ E(\mathbb{Q}) \cong E(\mathbb{Q})_{\mathrm{tors}} \oplus \mathbb{Z}^{r}. \]
整數 \(r\) 就是秩。證明 30 個有理點在模去扭點後彼此獨立，即證明自由部分含有 \(\mathbb{Z}^{30}\) 的一個副本，因而 \(r \geq 30\)。
ICARM 表示，其驗證器會先檢查每個提交點是否位於所述曲線上，然後依循與 John Cremona 和 Armand Brumer 相關的方法，利用良約化素數上的二次特徵進行精確的 2-下降計算，以認證獨立性。接納決定並不依賴浮點近似。
這次提交曾短暫暴露基礎設施問題。根據曲線說明，原來的表格無聲地遺漏了一個見證點，可能是解析器錯誤所致。一項連結的程式碼修改，令解析器拒絕格式錯誤的點行，而非丟棄額外座標或錯誤處理換行符。修正後的紀錄現已顯示全部 30 個見證點。該解析器修正將 Claude Fable 5 列為程式碼共同作者，但僅憑該提交並不能確定哪個 Claude 模型進行了數學搜尋。
二、「秩至少為 30」是無條件結論
目前公開證據所支持的最強無條件陳述，是該曲線的秩至少為 30。這 30 個精確點及其獨立性證書提供下界；它們本身並不能排除存在第 31 或第 32 個獨立生成元。
排行榜說明報告了一項關於確切秩為 30 的條件性論證。在假設相關的廣義黎曼猜想下，套用 Jonathan Bober 參數為 \(\Delta=4.25\) 的顯式公式方法，可得解析秩上界為 31。該曲線的全域根數為 \(+1\)，強制解析秩具有偶數奇偶性。在 Birch 和 Swinnerton–Dyer 猜想下，代數秩與解析秩相同，已知下界與條件上界便在 30 相交。
這表示「秩為 30」是合理的條件性描述，但「秩至少為 30」才是經驗證、無需假設的結果。這項發現並未證明廣義黎曼猜想或 Birch 和 Swinnerton–Dyer 猜想。
這個區別在高秩搜尋中很常見。計算上界可能遠比找到大量獨立點困難，尤其當曲線有極大的係數與導數時。Bober 的方法正是為了在不直接計算曲線 \(L\)-函數中多到不切實際的項目數目的情況下，取得條件性的解析秩界而發展。
三、此前紀錄已有兩年歷史
Noam Elkies 和 Zev Klagsbrun 於 2024 年 8 月公布此前的紀錄：一條具有 29 個獨立有理點的橢圓曲線。他們的成果打破了自 Elkies 於 2006 年構造以來一直維持在 28 的紀錄。
2024 年的曲線源自對 K3 曲面上一個秩為 17 的纖維化之特殊化進行篩選搜尋。根據 Elkies 的公告，Klagsbrun 在基礎族所提供的 17 個點以外，找到額外 12 個獨立點。條件性論證其後顯示其秩恰為 29。
這項改進需要搜尋規模大幅增加。Quanta 報道，Elkies 為 2006 年紀錄曾檢查數百萬條曲線，而 Klagsbrun 後來的計算方法可篩選數十萬億條。即使規模如此擴大，紀錄仍只增加了一。
因此，秩 30 已成為研究級數學搜尋的一項精簡測試。Epoch AI 的 FrontierMath Open Problems 頁面將目標指定為一個定義於 \(\mathbb{Q}\) 的 Weierstrass 方程，並附有恰好 30 個獨立有理點。驗證器的設計是接受精確整數或分數座標，而不是數值近似。
第 #273 號曲線提供了所需的數學物件。它是否直接源自該基準環境，目前未有公開文件記錄，因此不應將已公布任務與該提交之間的吻合視為來源證明。
四、Claude 獲列功，但發現過程尚未有文件記錄
該曲線最初以化名呈現。排行榜可編輯的說明其後表示，成果來自 Claude 與 Alpöge 及 Howell。Weil 的 X 帖文將之描述為人類與 AI 一同學習新事物的另一個例子。
這項歸屬足以支持將結果稱為 AI 輔助，但仍未回答核心研究問題。目前沒有公開描述搜尋族、候選曲線排序方法、軟件堆疊、提示歷史、運算預算、被拒候選的數量，或提交前所用的點搜尋及飽和程序。
現有證據亦未能可靠確認進行數學工作的模型版本。相關的解析器提交提及 Claude Fable 5，而 Anthropic 將 Fable 5 描述為其可供普遍使用、適用於長時間分析及科學任務的 Mythos-class 模型。不過，排行榜上的程式碼作者身分並不能證明 Fable 5 生成了該曲線。
正式報告可以區分數種實質不同的 AI 貢獻形式：提出新的數學族、將人類策略轉譯為經優化的程式碼、自主執行及調整搜尋、尋找額外有理點，或準備及檢查最終證書。在這類報告出現前，該成果應描述為歸功於人類與 Claude 的合作，而非自主 AI 發現。
五、為何此結果是 AI 輔助研究的有用證據
高秩橢圓曲線搜尋具有特別有利的驗證結構。發現過程很困難，但成功輸出可表達為有限組精確整數及有理數。獨立軟件其後可檢查方程、每個點及所需的線性獨立性，而無須信任模型的解釋。
這區分了 AI 研究公告中常被混為一談的兩個問題：提交的數學物件是否有效，以及關於 AI 如何找到它的敘述是否完整。對第 #273 號曲線而言，第一個問題有異常強的公開證據。第二個問題仍有待可重現的技術報告，尚未有答案。
這項紀錄並不能決定 \(\mathbb{Q}\) 上的橢圓曲線秩是否無界。它提供了一個新的極端例子，將已知下界紀錄提高一。其即時實際意義因此在於算術幾何及人類—AI 數學搜尋的評估，而非已部署的橢圓曲線密碼學。
常見問題
該曲線的秩是否肯定為 30？
無條件地已知其秩至少為 30。確切秩為 30 目前取決於 GRH 及 Birch 和 Swinnerton–Dyer 猜想。
為何 30 個有理點足以創下紀錄？
驗證器證明這些點在模去扭點後彼此獨立。因此，它們所張成的是該曲線有理點的一個秩為 30 的子群。
Claude 是自主發現這條曲線嗎？
排行榜將 Claude 與 Levent Alpöge 及 Ava Howell 一同列功，但目前沒有公開報告說明分工。自主發現一事尚未獲確立。
Claude Fable 5 是所使用的模型嗎？
相關的解析器修正提交將 Claude Fable 5 列功，但數學搜尋所用的模型版本尚未獲公開確認。
結果會影響橢圓曲線密碼學嗎？
不會直接影響。該紀錄涉及 \(\mathbb{Q}\) 上一條曲線的有理點，而已部署的橢圓曲線密碼學一般使用有限域上的群。
參考來源
Share