推文

@tonnyzhou · 2026-10-12 18:28

Altman 10月7号说，人类正在进入“新的发现时代”（new age of discovery）。OpenAI 紧接着在博客《Sharing AI progress in mathematics》里甩出硬货： 1/ 未发布的内部前沿模型，攒了 722 篇数学手稿，归进 372 个结果家族，平均每篇烧了约 3 小时 ChatGPT Pro 级算力。 2/ 约三分之二的家族带 Lean 形式化证明，仓库 openai/math 直接开源。 3/ 10月7号当天，他们主动撤回 3 篇、修订 14 篇——都是符号错误。 我的看法：AI 做数学现在是“生产便宜、验证贵”。撤稿不是翻车，恰恰说明这套流程在自我纠错。以前数学家一年憋几篇，现在机器一天吐几百篇还自带验算，数学这行当的生产关系要变了。

曝光 18 · 评论 0 · 点赞 0 · 书签 0 · 曝光/时 3.9334512838430977