我昨天跨越了一个有趣的门槛，我认为许多其他数学家最近也在跨越这个门槛。在试图证明一个结果的过程中，我识别出一个看起来真实的陈述，如果它是真的，对我将会很有用。 1/3

我没有试图证明它，而是问了GPT5，20秒后得到了一个证明。这个证明依赖于一个我从未听说过的引理（这个陈述有点超出了我的主要领域），所以尽管我相信最终会得出结论，2/3

我所需的时间可能大约是一个小时（这个估计有相当大的误差范围）。所以看起来我们已经进入了一个短暂但愉快的时代，在这个时代中，我们的研究得到了AI的极大加速，但AI仍然需要我们。 3/3

PS 如果有人担心它使用了我没听过的词根，我检查了这个词根并不是幻觉。