#455.当数学“皇帝”遇上 OpenAI：陶哲轩与 Mark Chen 聊 AI 如何重塑科学发现的未来

本次播客探讨了人工智能（AI）如何改变数学研究的方式。陶哲轩和 Mark Chen 讨论了 AI 在数学领域的最新进展，包括文献搜索、代码生成以及辅助验证猜想。他们认为 AI 擅长解决大量简单问题，但在解决核心难题上帮助不大。AI 的发展趋势是推动数学研究的分工，类似于工业革命对其他行业的改变。AI 可以承担枯燥的任务，从而开启大规模研究项目的新方法，但验证 AI 成果仍然是瓶颈。讨论还涉及如何利用 AI 赋能社区数学家，以及如何设计挑战体系来激发更多人参与数学研究。