large-scale-collaboration

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