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时代的新范式。