AI 求解数学题「90 道证明」曲线遭质疑：缺少预注册，前 30 道去哪了
allTheYud · x · 2026-10-07
围绕 Paul Christiano 在其文章中使用的一条「AI 已解决 90 道数学证明」进度曲线，X 上掀起一场争论。allTheYud 指出关键疑点：在这条平滑曲线上，90 道之前的 30 道证明在哪里？它们本该早多少时间出现？
争议核心是这类进展数据的统计口径：如果题目集合不是预先注册（preregistered）的固定清单，曲线的「平滑加速」可能被选择性计数夸大。
所属事件:OpenAI 数学成果震动数学界：惊叹、质疑与职业焦虑齐发(47 条相关)→
「漫话AGI」频道最新
- AI 时代技术技能还有价值吗：人类擅长什么工作 — Smooth_Secret394 · 2026-10-08
- OpenAI 公布 722 项数学成果,密码学突破罕见缺席引审查猜测 — burny_tech · 2026-10-08
- Steven Pinker 深度对谈：智能非超能力，AI 末日论站不住脚 — sapinker · 2026-10-08
- 「这是做研究的最好时代」:AI 正在摧毁旧的科研游戏规则 — aran_nayebi · 2026-10-08
- 数学家撰文:为何对 AI 数学革命感到兴奋而非恐惧 — StefanoGogioso · 2026-10-08
- OpenAI 前员工做客 Ezra Klein 播客,讲述让他辞职的所见 — Cubewood · 2026-10-08