人工智能将成为数学家的“副驾驶”

这篇文章是对于菲尔兹奖得主陶哲轩的采访。陶哲轩认为，人工智能将改变数学家们的工作方式。 证明检查器和人工智能程序可以帮助数学家们进行更大规模的合作，并将数学研究推向新的高度。 他相信人工智能将成为数学家的强大工具，帮助他们解决更复杂的数学问题，并探索新的数学领域。