Lisan al Gaib· @scaling01 · X·· 1 小时前AI 评分62
AI 导读
Anthropic 研究人员称，一个内部 Claude 研究模型在 10 月 16 日自主发现了某项核心算法，消耗 1400 万 output tokens 且无人类输入，随后研究人员与 Claude 合作改进论文呈现并形成论文。相关代码与论文材料发布在 anthropics/formal-math 仓库的 eth 目录下。转发者 @scaling01 评论称 1400 万 output tokens 对单个模型约相当于 3 到 4 天。
正文
yeah. math is dead. theoretical physics too.
14M output tokens is like 3-4 days with a single model.
“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 查看被引用的帖子
来源：Lisan al Gaib · x.com