AI正在颠覆数学，百年难题接连被攻克！

详细全文中英对照解读：外刊｜AI攻破数学百年难题，数学家要失业了？

文章讨论了AI对数学研究带来的革命性影响。OpenAI宣称利用数千个AI智能体攻克了纳维–斯托克斯方程的重要难题，展示出AI快速解决复杂数学问题的潜力。然而，AI生成的证明虽然可以通过形式化方法验证，却往往缺乏人类数学家追求的优美性和深刻洞察。作者将这场变革与笛卡尔建立代数和几何联系的历史相比较，认为AI可能彻底改变数学研究的方式，但同时也会带来理解、使用权限和技术控制权等方面的新挑战。