“机器证明”得出的结论,如果人类无法理解推导过程,我们还能称之为“证明”吗?
澎湃新闻客户端  1小时前

  

  广州院士专家校园行 | 小记者对话科学导师:“机器证明”得出的结论,如果人类无法理解推导过程,我们还能称之为“证明”吗?(01:43)