AI 导读
作者转引 @__alpoge__ 的说法:一个内部 Claude 研究模型在无人类输入的情况下,用 14M 输出 token 于 10 月 16 日找到核心算法,反驳了 ETH 指数时间假设;Anthropic 研究者随后与 Claude 合作改进了呈现并形成论文。仓库地址为 github.com/anthropics/formal-math 下的 eth 目录。
推荐理由
转述了 Anthropic 内部模型发现核心算法并反驳 ETH 的说法,并附 GitHub 链接,读者可自行查看仓库细节。
正文
An internal Anthropic model also refutes the ETH. With only 14m Output tokens and already on October 16th.
Suddenly everything at once.
“The core algorithm was found on October 16 by an internal Claude research model with 14M output tokens and no human input. Anthropic researchers worked with Claude to improve the presentation, resulting in this paper.” https://github.com/anthropics/formal-math/tree/16a5ce41304fcdaea4e0be7c132e1c361dc26da5/eth在 X 查看被引用的帖子
来源:Chubby♨️ · x.com