有人称旧版 Anthropic 模型会质疑 Jacobian 猜想反证

inductionheads · x · 2026-07-21

转发的讨论称,**较早期的 Anthropic 模型**(如 Opus)在面对 Jacobian Conjecture 被反证这件事时,似乎会陷入一种“难以相信”的状态;而 Grok 则更直接地按数学推导走,认为这就是一个反例。 这条的重点不在定理本身,而在**模型行为差异**:发帖人借这个例子调侃,过多的 safety / “constitution” 可能让模型在承认结论时显得更保守。

所属事件:传Claude Fable 5推翻雅可比猜想引发AI数学狂欢(68 条相关)→

原文链接 →

「Fun」频道最新

更多「Fun」频道 AI 资讯 →