Deepmind的AlphaProof Nexus以數百美元成本解開9道埃爾德什難題

谷歌DeepMind 介紹了AlphaProof Nexus，一種結合Gemini 3.1 Pro 與Lean形式驗證器的代理框架，用於自主解決數學猜想。該系統成功解決了九個埃爾德什問題（Erdős problems）和44個開放整數序列猜想（oeis conjectures），僅需數百美元的推理成本即可取得成果。該架構依賴一個循環：大型語言模型（LLM）提出證明步驟，Lean編譯器檢查這些步驟，將模型建立在符號邏輯基礎上，以避免推理錯誤。令研究人員驚訝的是，使用編譯器反饋的簡單代理配置足以應對最艱難的任務，標誌著向基於通用大型語言模型的解決方案轉變，而不再依賴專門的系統。