菲尔兹奖得主 Gowers 说： “未来对数学做出贡献的门槛，将是证明 LLM 证明不了的东西。” 但这里有个悖论： LLM 证明出来了，我们可以验证。 L… · @heydengai · TwKit

@heydengai

菲尔兹奖得主 Gowers 说： “未来对数学做出贡献的门槛，将是证明 LLM 证明不了的东西。” 但这里有个悖论： LLM 证明出来了，我们可以验证。 LLM 证明不出来，我们怎么确定它是真的不会，而不是还没找到正确的提示词？ 更讽刺的是，等你证明它不会，下一代模型可能已经会了。

曝光 33 · 评论 1 · 点赞 0 · 书签 0