已收录文章摘要，完整内容可前往原文阅读。
AI在数学等方面的进展，比如形式化证明费马大定理(1)、NS方程的突破（和黎曼猜想等同为千禧年大奖7个难题之一）(2)，引发大家对其经济冲击的关注。Anthropic刚刚就发布一份报告分析AI接下来几