我们的研究因人工智能而大大加速，但人工智能仍然需要我们。

我们的研究因人工智能而大大加速，但人工智能仍然需要我们。
"Our research is greatly sped up by AI but AI still needs us"

原始链接: https://twitter.com/wtgowers/status/1984340182351634571

数学家蒂姆·戈尔斯最近借助人工智能（特别是GPT-5）取得突破。他在研究证明时，要求人工智能验证一个可能有用的命题，并在20秒内得到了正确的证明——他估计自己完成这项任务需要一个小时或更长时间。重要的是，人工智能使用了他不太熟悉的引理，证实结果并非捏造。戈尔斯认为这标志着数学研究的“黄金时代”的开始，人工智能将显著加速进展，*但仍需要人类指导*。然而，其他评论员认为这只是一个暂时的阶段。有人提到戈尔斯之前预测人工智能最终将超越人类的数学能力，可能会改变数学发现的本质。这场讨论凸显了人们对人工智能在数学等复杂领域日益增长的作用既感到兴奋，又感到担忧。

We’ve detected that JavaScript is disabled in this browser. Please enable JavaScript or switch to a supported browser to continue using x.com. You can see a list of supported browsers in our Help Center.

Help Center

我们的研究因人工智能而大大加速，但人工智能仍然需要我们。 "Our research is greatly sped up by AI but AI still needs us"

我们的研究因人工智能而大大加速，但人工智能仍然需要我们。
"Our research is greatly sped up by AI but AI still needs us"