跳到主要內容
2026-10-13 日報
前瞻與傳聞

未經證實:DeepMind AlphaProof Nexus 傳解出 9 道 Erdős 未解題與 44 個數列猜想

Reddit r/singularity單一來源
核實資料不足

目前依單一來源整理,這是來源數量描述,不是對消息真假的判定。

本次未取得足夠原文證據

Reddit r/singularity 一則貼文聲稱,DeepMind 的 AlphaProof Nexus 已解出 9 道尚未解決的 Erdős 問題,以及 44 個數列猜想,其中兩道問題逾 50 年無解。上述說法目前只有單一 Reddit 來源,未獲獨立佐證,不能視為已證實成果。貼文引用《The Daily Star》指出,這些解答最早於 2026 年 5 月以 arXiv 預印本公開;新進展是相關論文的同儕審查版本據稱於 2026 年 10 月刊登在《Science》。
讀原始報導

背景

Lean 是一套證明輔助器,也是一種函數式程式語言,可用於形式化數學證明。它以帶歸納型別的構造演算為基礎,並且是由 GitHub 維護的免費開源軟體專案。

來源

本期分類