陶哲轩在“害怕”什么？

本文来自微信公众号： 腾讯科技 ，作者：苏扬，编辑：徐青阳，题图来自：视觉中国 当AI开始批量生产数学证明，人类凭什么确信这些证明是可靠的？ 美国当地时间10月9日，著名数学家、菲尔兹奖得主陶哲轩在其博客转发了托马斯·黑尔斯的专栏文章“《数学家应该了解的Lean定理证明器：可靠性与人工智能问题》”。 陶哲轩博客转发文章截图 这场AI数学浪潮的矛盾在于：AI正在以前所未有的速度攻克数学难题，这些难题过去需要数学