陶哲轩转发、菲尔兹奖得主领衔：AI正在颠覆数学家的工作方式 | 美国数学学会特刊

AIGC动态欢迎阅读

原标题：陶哲轩转发、菲尔兹奖得主领衔：AI正在颠覆数学家的工作方式 | 美国数学学会特刊
关键字：数学,数学家,定理,问题,人类
文章来源：量子位
内容字数：10850字

内容摘要：

梦晨发自凹非寺量子位 | 公众号 QbitAI陶哲轩点赞转发，《美国数学学会通报》用一整期特刊介绍了AI给数学带来的改变。
这些文章读起来很有趣，尽管使我自己即将发表的一篇文章显得多余……这个领域发展太快了！
作者阵容非常豪华，包括菲尔兹奖得主Akshay Venkatesh、华裔数学家郑乐隽、计算机科学家Ernest Davis等多位知名学者。
其中郑乐隽表示，如果最终机器能做得比人类更好，那很好，她将乐意退出数学领域去弹钢琴。
他们提出的观点包括：
AI的数学能力不完全反映人类的认知过程，依赖于训练数据中的模式，而不是真正理解问题的本质。
合成数学如合成拓扑学和合成微分几何学，提供了一种全新的数学实践方式，允许数学家专注于更深层次的概念和问题。
交互式证明系统与软件工程中的“规范驱动开发”，可以降低数学家的认知负荷、促进数学家之间的合作。‍
形式化证明技术可能改变数学证明的本质、颠覆数学家的工作方式。‍
数学届不应被科技公司主导的议程所。‍‍‍‍‍‍‍‍‍‍‍‍‍
在开篇，编委会写道：
纯粹的数学家习惯于享有很大程度的研究自主和智力，这是一种脆弱而宝贵的遗产，可能会因机

原文链接：陶哲轩转发、菲尔兹奖得主领衔：AI正在颠覆数学家的工作方式 | 美国数学学会特刊