陶哲轩谈AI在数学领域的应用与挑战

数学家陶哲轩提出「数学2.0」，强调AI在降低求解成本的同时，应帮助理解证明，并呼吁公开计算资源消耗等详细信息。

来源：[极客公园](http://www.geekpark.net/news/372218)

> 本文为 AI 资讯快讯，概述自公开报道。点击上方来源链接可阅读原文。