← AI 動態
The Decoder
DeepMind AI 破解半世紀數學難題，榮登頂尖期刊
Google DeepMind 推出的 AlphaProof Nexus 成功獨立解開數十道開放性數學難題，包含懸宕 56 年的艾狄胥問題，並通過《Science》同儕審查，展現出卓越的邏輯推理實力。
Google DeepMind
AlphaProof
AI數學推理
Gemini
Google DeepMind 最新研發的 AlphaProof Nexus 系統，近期在數學界投下震撼彈。根據發表於頂尖期刊《Science》的研究，這套 AI 獨立解開了數十道長期未解的數學難題，其中包括 9 道著名的「艾狄胥問題」（有兩道甚至已懸宕長達 56 年），還證明了 44 個整數數列猜想，並優化了訓練 AI 常用的最小最大化演算法界限。
這項突破的核心在於結合了 Gemini 3.1 Pro 與形式化驗證語言 Lean。模型會先撰寫數學證明草稿，再交由 Lean 進行嚴格的邏輯檢查；一旦發現錯誤，系統會根據錯誤訊息自動修正並再次嘗試。此外，相較於競爭對手因直接將未經審查的 AI 證明放上 GitHub 而引發學界抵制，DeepMind 選擇遵循嚴謹的同儕審查制度，獲得科學界高度認可。
對一般人而言，這代表生成式 AI 正從「容易產生幻覺的聊天機器人」，進化為「具備嚴密邏輯與自我驗證能力的推理引擎」。未來這項技術不僅能加速基礎科學發現，還能應用於金融系統安全、航太軟體除錯等需要絕對精確的領域，大幅提升數位工具的可靠性。