已收录文章摘要，完整内容可前往原文阅读。
导语：最近，AI与数学研究的关系引发热议。今年4月，陶哲轩曾接受《自然》采访，并分享了当时他对AI的一些思考。访谈中，他谈到了AI在数学研究中的潜力与局限，并提出研究者需要重新思考什么是数学证明、什么