#用AI做数学

最近（2026-05-23）关注了一下用AI做数学研究的近况。翻了下arxiv发现之前的合作者在一个月内用AI狠狠写了五六篇论文挂上去。

不得不说真的慌了，这还做个P的研究啊，本来就垃圾，现在更没用了。刚出现AI绘画之后，本以为数学是最后被干掉的学科，现在发现这个认知也许是错的。 或者说，（以人类方式理解的）数学很难被干掉，但古典数学家很可能被干掉。

配ai的记录

数学文献的版权问题

怎么用AI做研究？
形而上：查文献，找文献，大量尝试
形而下：各类工具。

数学家的功能？

很多工作/职位/身份是随着技术或其他东西变化而变化的。 比如曾经没有专职程序员，而是由科学家、计算机学家等编写代码，这是他们工作的一部分。 曾经也没有数学家，只有科学家，或者只有哲学家或智者。 曾经也没有产品经理。有人想做某个东西，然后就做某个东西，而不是告诉别人要做什么东西，然后让别人实现。

以后数学家的角色，后者说其后继的角色，是审查（AI生成的）数学并加工。

同样在程序员领域，很多人的担忧是，现在能出色使用AI的人本身就是高等级的程序员。像Linus很早就不写代码而用能工智人了。 但是随着AI进入越来越fresh的程序员工具箱，我们还能有新的高级程序员吗？

类似的现象是不是也出现过？被替代后的工作/技艺的失传。在AI之后会发生什么呢？