terry-tao

陶哲轩的ICM 2026讲座《数学在AI时代》已上传至YouTube，探讨了AI、形式化验证和协作平台如何改变数学实践，同时也指出了它们目前的局限性。

陶哲轩解释了一个三维空间中的雅可比猜想反例，该反例是在Fable AI的帮助下发现的。

著名数学家 Terry Tao 讨论了他对数学中人工智能的看法演变，以及他对大规模合作和计算机验证证明的倡导。

陶哲轩评论 AI 使得大规模生产数学成为可能，将证明写作转化为可搜索的问题：从目标生成数千个迷你引理，然后用廉价检查器过滤掉大部分，只保留少数有效的。