OpenAI 撤回 3 篇数学论文,719 项结果仅 42% 完成形式化
petrusenko_max · x · 2026-10-08
OpenAI 于 10 月 7 日撤回了 3 篇数学论文:一处符号错误使一个稳定性-迹相消论证失效,而另外两篇依赖该论证的论文也随之撤回。此外其修订了其余 14 份手稿。在 719 项核心结果中,目前只有约 300 项(约 42%)完成了形式化验证。
所属事件:OpenAI 数学仓库因符号错误撤回 3 篇霍奇猜想论文(5 条相关)→
「研究」频道最新
- UC Davis 团队用蛋白质语言模型从头设计 Rubisco，论文已上 bioRxiv — KevinKaichuang · 2026-10-09
- 普林斯顿实验：AI agent 写的机器人规划程序胜过专家系统 — ziv_ravid · 2026-10-09
- 可解释性争论：怎样才算真的找到了模型的「痛觉向量」 — rgblong · 2026-10-09
- Late Interaction 检索讲座:为何 2026 年它仍是实用技术 — CShorten30 · 2026-10-09
- 诺奖得主成长研究:科学家天赋之外,家庭背景多重要? — soumitrashukla9 · 2026-10-09
- 社区改进 OpenAI 数学结果上亿倍:κ 界收紧至 2⁻¹⁵,较原结果提升 2¹⁶⁷ 倍 — latticecut · 2026-10-09