The Decoder· Manuel Uth·· 2 小時前精選AI 評分79
Google DeepMind 的 AlphaProof Nexus 在 Science 期刊發表，成功證解多項開放數學問題
Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed
AI 導讀
AlphaProof Nexus 是 DeepMind 基於 Gemini 3.1 Pro 與 Lean 形式語言的 AI 証明系統。
它在 Science 期刊發表的研究中，獨立證解了 353 個 Erdős 問題中的 9 個、OEIS 數列的 44 個猜想、以及代數幾何的一個未解問題，並改進了 min‑max 最佳化的已知界限。
推薦理由
AI 在數學證明領域取得突破，證明可被同行評審接受，凸顯其可靠性與實用潛力。
來源：The Decoder · the-decoder.com