Terry Tao 如何成为数学领域人工智能的布道者
摘要
著名数学家 Terry Tao 讨论了他对数学中人工智能的看法演变，以及他对大规模合作和计算机验证证明的倡导。
暂无内容
查看缓存全文
缓存时间: 2026/06/11 19:37
# 陶哲轩如何成为人工智能在数学中的布道者 | Quanta Magazine
Source: https://www.quantamagazine.org/how-terry-tao-became-an-evangelist-for-ai-in-math-20260608/
## 引言
陶哲轩从不畏惧非传统的想法。2014年11月，他
相似文章
@rohanpaul_ai: “我确实看到越来越多大规模生产的数学。” ~ 陶哲轩 AI 让这变得可扩展。将证明写作转…
陶哲轩评论 AI 使得大规模生产数学成为可能，将证明写作转化为可搜索的问题：从目标生成数千个迷你引理，然后用廉价检查器过滤掉大部分，只保留少数有效的。
Terence Tao on How AI Is Changing Mathematics
数学家陶哲轩认为AI正在降低数学研究中的认知摩擦，使实验和大胆想法成为可能，并有望成为主流工具；他还预测未来数学发表将分享探索路径而非仅最终结果。
@rohanpaul_ai: 陶哲轩总结了AI如何大幅加速数学职业和数学研究。"在数学领域，以前你必须……
陶哲轩讨论了AI如何大幅加速数学研究，减少了为进入研究前沿所需的教育年限。
@gdb: 人工智能加速研究，拓展数学家和科学家敢于尝试的边界：
Greg Brockman 指出，人工智能让像数学家陶哲轩这样的研究人员得以自由探索更大胆、更具创意的想法。
@OpenAI：与OpenAI的@markchen90对话中，陶哲轩思考了一个未来，人工智能减少研究的认知摩擦……
陶哲轩与Mark Chen讨论了人工智能如何改变数学研究，从文献搜索到代码生成，以及调整工作流程的必要性。