As AI solves maths puzzles faster than humans, mathematicians face uncertain future | AI解数学难题快过人类，数学家前景堪忧
人工智能正在攻克长期困扰人类的数学难题，引发全球数学界对自身未来角色的深刻反思。10月初，OpenAI公布其在372类数学问题上取得进展的手稿，其中包括许多此前长期无解的难题，本周又宣布了三项新发现。目前人类团队正在解读AI在数学、计算机科学和物理学领域生成的成果，其分析结果被视为衡量AI进化速度的重要指标。《科学》杂志主编索普在社论中指出，这些成就“令数学界为之震动”，并提出了一个更宏大的问题：“理解的满足感能否取代发现的快感？”
数学界对AI的担忧日益加剧。菲尔兹奖得主陶哲轩批评OpenAI让AI抢在数学家之前得出解法，相当于对前人成果的“掠夺式开采”。他与24位菲尔兹奖得主上月联名致信，警告AI生成的数学解法必须由人类来发展和融入学科体系，否则捷径将破坏数学的传承方式和学生的学习。在中国，清华大学丘成桐正领导一个由千余名科学家组成的联盟，开发专门面向数学的AI模型。他形容AI在数学领域的发展“如海啸般”迅猛，并指出中国在这方面的技术落后于美国。丘成桐将出任2027年创刊的《AI辅助数学期刊》主编，要求相关定理必须达到顶级纯数学期刊的证明标准。清华大学的哈吉哈特则警告，顶尖AI模型掌握在少数大公司手中，加深了国际不平等，他呼吁中国与高校合作训练先进的数学AI模型。
也有学者持乐观态度。知名数学频道3Blue1Brown的创始人桑德森认为，现在是学习数学的最佳时机，因为证明更容易获得，数学家可以专注于理论构建。他以围棋为例指出，AlphaGo战胜人类后，顶尖棋手反而借助AI辅助训练，这为数学家提供了可能的出路。“就像去健身房：机器确实能举起比你更重的重量，但这并不否定你锻炼的价值。”他表示，AI正在改变数学的学术文化和成果认定体系，整个学界正在寻找新的标准。
via South China Morning Post
人工智能正在攻克长期困扰人类的数学难题，引发全球数学界对自身未来角色的深刻反思。10月初，OpenAI公布其在372类数学问题上取得进展的手稿，其中包括许多此前长期无解的难题，本周又宣布了三项新发现。目前人类团队正在解读AI在数学、计算机科学和物理学领域生成的成果，其分析结果被视为衡量AI进化速度的重要指标。《科学》杂志主编索普在社论中指出，这些成就“令数学界为之震动”，并提出了一个更宏大的问题：“理解的满足感能否取代发现的快感？”
数学界对AI的担忧日益加剧。菲尔兹奖得主陶哲轩批评OpenAI让AI抢在数学家之前得出解法，相当于对前人成果的“掠夺式开采”。他与24位菲尔兹奖得主上月联名致信，警告AI生成的数学解法必须由人类来发展和融入学科体系，否则捷径将破坏数学的传承方式和学生的学习。在中国，清华大学丘成桐正领导一个由千余名科学家组成的联盟，开发专门面向数学的AI模型。他形容AI在数学领域的发展“如海啸般”迅猛，并指出中国在这方面的技术落后于美国。丘成桐将出任2027年创刊的《AI辅助数学期刊》主编，要求相关定理必须达到顶级纯数学期刊的证明标准。清华大学的哈吉哈特则警告，顶尖AI模型掌握在少数大公司手中，加深了国际不平等，他呼吁中国与高校合作训练先进的数学AI模型。
也有学者持乐观态度。知名数学频道3Blue1Brown的创始人桑德森认为，现在是学习数学的最佳时机，因为证明更容易获得，数学家可以专注于理论构建。他以围棋为例指出，AlphaGo战胜人类后，顶尖棋手反而借助AI辅助训练，这为数学家提供了可能的出路。“就像去健身房：机器确实能举起比你更重的重量，但这并不否定你锻炼的价值。”他表示，AI正在改变数学的学术文化和成果认定体系，整个学界正在寻找新的标准。
via South China Morning Post
