【陶哲轩三小时超长访谈：我们如何解决难题？AI将如何重塑数学？】

近日，当代最著名数学家之一、菲尔兹奖得主#陶哲轩# （Terence Tao）做客了莱克斯·弗里德曼（Lex Fridman）的播客节目。在这场长达三个多小时的深度对话中，陶哲轩分享了他对数学、#物理# 、#人工智能# 乃至现实本质的诸多思考。这场访谈信息量巨大，不仅探讨了诸如纳维-斯托克斯方程（Navier-Stokes equations）、P/NP 问题和黎曼猜想（Riemann Hypothesis）等数学领域的“圣杯”，还将话题延伸至人工智能如何重塑数学研究的未来。

在访谈中，陶哲轩谈到了解决复杂数学问题的一种实用策略，他称之为“策略性作弊”。具体来说，就是面对一个包含多个难点的问题时，研究者会先暂时忽略大部分困难，集中精力攻克其中一个。通过这种方式逐一解决，最终再将各个部分的解法整合起来。

与此同时，陶哲轩详细阐述了他对人工智能在数学领域潜力的看法。他分享了自己使用证明助手语言 Lean 的亲身经历，并坦言，尽管 AI 目前在数学领域的能力如同一个“有时不太可靠，但能力超群”的研究生，但它正推动着数学研究范式的转变。他预言，在不远的将来（甚至有可能是 2026 年），AI 将能够与人类数学家合作发表研究级别的论文。这种合作模式将彻底改变数学的协作方式，使得大规模、分布式的数学实验成为可能。

此外，陶哲轩也谈到了他对一些著名猜想的看法。他认为孪生素数猜想（Twin Prime Conjecture）在未来十年内可能会有重大突破，但对于黎曼猜想，他则坦言目前尚无线索。他强调，这些难题的核心在于“结构”与“随机”的对立，而数学的本质正是在这两种看似矛盾的力量之间寻找深刻的联系。

戳链接查看详情：http://t.cn/A6DyfjCa