当AI开始批量生产数学证明，人类凭什么确信这些证明是可靠的?　　美国当地时间10月9日，著名数学家、菲尔兹奖得主陶哲轩在其博客转发了托马斯·黑尔斯的专栏文章“《数学家应该了解的Lean定理证明器：可靠性与人...