人類56年解不出，谷歌AI一夜連破9道世紀難題
核心突破：AI破解數學界長期懸案
DeepMind發佈的全新數學智能體AlphaProof Nexus，成功一次性解決9道Erdős開放難題，其中最古老的難題已懸賞56年，標誌著人工智能在數學證明領域的重大突破。
技術驗證與可信度
所有證明過程均經過Lean編譯器的形式化驗證，確保邏輯嚴密、無任何幻覺或錯誤，是目前最可靠的AI數學證明範例之一。
相關背景與延伸
- 此前AI在數學難題上的嘗試多存在邏輯漏洞，無法被學術界採納。
- 此次突破顯示AI可自主生成可驗證的數學證明，開啟人機協作研究新模式。
- 谷歌DeepMind的AlphaEvolve系統亦在組合數學領域刷新多項紀錄，顯示AI在複雜問題上的潛力。
媒體與公眾反響
該事件被多家科技媒體廣泛報道，包括新浪財經、網易、YouTube科技頻道等，引發公眾對AI在科學領域角色的深度討論。