FrontierMath 基準測試正式將橢圓曲線秩問題標記為「已解決」,原因是大型語言模型(LLM)成功發現了一條秩高於先前紀錄的曲線。這項成就打破了維持數年的秩 30 下界紀錄,將已知極限推高至秩 32。
該 LLM 並未證明秩是無界的,而是找到了一條具有比先前認證下界更高的特定曲線。這將知識狀態從對秩 30 的不確定性轉變為對秩 32 的不確定性,但並未解決最終的猜想。此舉突顯了 AI 在高等數學領域日益增強的能力,能夠找到人類遺漏的特定實例,同時也引發關於「打破紀錄的範例」是否等同於「真正的數學解決方案」的廣泛討論。
事件背景
橢圓曲線的秩是一個基本不變量,用於衡量其有理點群的大小。在數論中,有理數域上橢圓曲線的秩是有界還是無界,是一個主要的未解問題,傳統猜想認為它們是無界的。FrontierMath 是一個基準測試,旨在利用困難且未發表的問題來評估 AI 模型的高等數學推理能力。
社群觀察
社群意見呈現兩極化。部分用戶將 LLM 貶稱為「隨機鸚鵡」,而另一些人則讚賞其達成高成就的能力。批評者指出,打破紀錄不等於解決問題,並強調此次發現並未帶來新的通用理論。



