2025.11.30

AI首次獨立破解30年數學懸案！人類數學家的最終堡壘「形式證明」已被攻克？

曾被視為AI無法取代人類專家的終極挑戰、對數學工作至關重要的形式化驗證已被突破，數學界將迎來「直覺證明」新時代？

（圖片來源：Gemini依據文章內容繪製）

（圖片來源：Gemini依據文章內容繪製）

© SCIENTIFIC AMERICAN, A DIVISION OF NATURE AMERICA, INC.ALL RIGHTS RESERVED.