谷歌Deepmind的AlphaProof Nexus僅花幾百美元就解決了幾十年未解的數學難題
谷歌Deepmind的AlphaProof Nexus系統自主解決了九個開放的愛爾迪什問題，包括兩個困擾數學家56年的難題，每個問題的推理成本僅需幾百美元。與OpenAI的自然語言方法不同，該系統使用Lean編譯器自動驗證每一步證明。不過，整體成功率僅為2.5%。
文章情報
工程師進階
要點
- AlphaProof Nexus自主解決了九個開放的愛爾迪什問題，其中兩個已存在56年。
- 每個問題的推理成本僅為幾百美元。
- 使用Lean編譯器自動驗證證明，而非自然語言處理。
- 整體成功率只有2.5%。
為什麼重要
這條新聞值得關注，因為AlphaProof Nexus自主解決了九個開放的愛爾迪什問題，其中兩個已存在56年。
技術影響
可能影響模型選型、推理成本、產品能力和評測基準。
谷歌Deepmind的AlphaProof Nexus系統在數學推理領域取得了突破性進展。該系統自主解決了九個開放的愛爾迪什問題，其中包括兩個困擾數學界長達56年的難題。每個問題的推理成本僅需幾百美元，展示了大語言模型在數學證明中的高效性。
與OpenAI採用的自然語言方法不同，AlphaProof Nexus利用Lean編譯器進行證明驗證，每一步推理都經過自動檢查，避免了自然語言中可能出現的歧義。然而，儘管在某些問題上表現出色，系統的整體成功率僅為2.5%，表明在複雜數學問題上的應用仍面臨挑戰。
這一成果源自Deepmind對人工智慧在數學領域應用的持續探索，標誌著AI在解決高難度、開放式數學問題上的潛力。