← AI 動態
The Decoder
谷歌Deepmind的AlphaProof Nexus解決數十年難題
谷歌Deepmind的AlphaProof Nexus系統自主解決了九個開放的Erdős數學問題，包括兩個困擾數學家56年的問題，只需幾百美元的推理成本
AI
數學
Deepmind
AlphaProof Nexus系統利用Gemini 3.1 Pro語言模型生成證明步驟，使用Lean正式編程語言進行數學驗證。這個系統可以提供嚴格和機器可檢查的解決方案。雖然大多數Erdős問題仍然超出了AI的能力範圍，但Deepmind研究人員認為這個系統是解決複雜數學問題的一個重要步驟。AlphaProof Nexus的成功表明，AI可以在數學領域中發揮重要作用，幫助數學家解決長期困擾的問題。這個系統的開發也可能促進AI和數學之間的合作，推動數學研究的進步。