海外 数学家恨AI，却戒不掉它 强大的人工智能模型正在给数学这门古老学科带来存在性风险：它可能掏空人们对证明的理解，重塑学术评价与荣誉分配。但矛盾在于，几乎没有人能真正停下使用它——因为AI实在太好用了。本文梳理数学家与AI之间这场爱恨交织的拉锯战：从形式化证明工具到自动 人工智能 数学研究 大语言模型 形式化证明 1天前 322
海外 数学家警告：AI正侵蚀数学职业，国际联盟发声 国际数学联盟（IMU）正式支持一项警告，指出科技行业对数学领域的快速侵蚀正在威胁数学家职业的未来。随着AI系统在定理证明、模式发现等核心任务中表现出色，大量顶尖数学家被科技公司高薪挖走，学术数学面临人才流失和研究方向被商业利益主导的风险。I 人工智能 数学研究 职业危机 国际数学联盟 2026年6月3日 541
