The lower bound for contributing to mathematics will now be to prove something that LLMs can't prove, rather than simply to prove something that nobody has proved up to now and that at least somebody finds interesting.
数学贡献的标准已从'证明无人证明过的问题'转变为'证明AI无法证明的问题'，这标志着学术研究进入了AI时代的新范式。
I would judge the level of the result that ChatGPT found in under two hours to be that of a perfectly reasonable chapter in a combinatorics PhD. It wouldn't be considered an amazing result, since it leant very heavily on Isaac's ideas, but it was definitely a non-trivial extension of those ideas, and for a PhD student to find that extension it would be necessary to invest quite a bit of time digesting Isaac's paper, looking for places where it might not be optimal, familiarizing oneself with various algebraic techniques that he used, and so on.
AI在两小时内完成的工作质量相当于数学博士论文水平，这种效率颠覆了传统数学研究的节奏和标准。