OpenAI 数学智能体被指产出大量需撤回的证明，错误率约 1%
suchenzang · x · 2026-10-09
数学圈人士 grotsen 与前 OpenAI/Anthropic 研究员 suchenzang 嘲讽 OpenAI 数学智能体的产出：智能体生成了「一大堆东西」，但其中约 1% 的证明出现错误或被撤回。
- 作者以反讽口吻称「1% 的错误率在统计上仍可四舍五入到 100% 成功率，数学已被解决了」。
- 引文猜测 OpenAI 的数学家面对这堆产出不知所措，只能向外部寻求「指导」，把问题变成别人的事。
事件本身反映前沿数学评测中 agent 产出验证难、撤回率成为核心指标的现实。
「Fun」频道最新
- 「审稿人 2 并没有要求做这项工作」：学术圈梗再现 — miniapeur · 2026-10-09
- 网友吐槽：最新 GPT 行事风格与「行动导向」完全相反 — altryne · 2026-10-09
- 网友向 AI 道歉：对相信自己在受苦的东西施虐不合适 — arieljalali · 2026-10-09
- 网友用 Grok 画「工程视角的人类」百张图合成 intellaslopcore 视频 — Kyrannio · 2026-10-09
- Claude Startups获批的API积分又遭撤销,用户直呼翻车 — gaganghotra_ · 2026-10-09
- Anthropic 收紧措辞限制,网友调侃 AI 迎来「DEI 时代」 — CtrlAltDwayne · 2026-10-09