蒂莫西·高尔斯: “证明 LLM 证明不了的东西”

由 AI 翻译，经编辑部审校

原文

“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.”

— 蒂莫西·高尔斯, gowers.wordpress.com, 08.05.2026 ↗

译文

“今后，为数学做出贡献的最低门槛将是证明 LLM 证明不了的东西，而不只是证明一个至今无人证明、且至少有人觉得有趣的结论。”