Anthropic 内部模型也反驳了 ETH：仅用 1400 万输出 token，早在 10 月 16 日就已完成
据帖文引述，Anthropic 内部的一个 Claude 研究模型在 10 月 16 日、仅用 1400 万输出 token 且无人工输入的情况下找到了核心算法，随后研究人员与 Claude 合作完善表述并形成论文，相关代码已公开在 Anthropic 的 formal-math 仓库中。这一说法若属实，意味着前沿模型已能在形式化数学研究中独立推进关键步骤，但目前它仍来自社交平台的转述，而非正式的学术发布。
报道来源
- Kim2026-10-27 04:29