热度排名 #742

陶哲轩谈机器辅助与数学研究的未来

Terence Tao - Machine assistance and the future of research mathematics - IPAM at UCLA

关注机器可以在哪里介入研究，例如搜索、计算和验证证明，再想一想选择问题和解释结果分别需要什么判断。

Institute for Pure & Applied Mathematics (IPAM) · 2 串讨论 · 热度 3.141

讨论出处