OSVerify 框架核查 OpenAI 11 篇数学预印本，揪出 5 项重大问题
james_y_zou · x · 2026-10-14
AI 生成科学成果的规模已超出人类审稿能力，斯坦福 James Zou 团队成员推出 OSVerify——一个面向可验证科学发现的「单边验证」框架：尽可能拒绝无效解，同时保留稀有的有效解供专家复核。
关键洞察：核查一个被指出的错误，比判断整个解的对错更容易。OSVerify 将验证解耦为两步——错误提案（搜索潜在错误）与错误验证（核实所提错误是否成立）。
团队用 OSVerify 审查了 11 篇近期的 OpenAI 数学预印本，识别出 5 个重大问题和 13 个次要问题，全部经人类专家核实。
所属事件:斯坦福OSVerify审出OpenAI数学论文多项问题(3 条相关)→
「研究」频道最新
- SDECast 用神经 SDE 做连续时间概率天气预报,5 天内有效 — scott_linderman · 2026-10-14
- AI 发现药物该署名吗?科研署名制度遭遇挑战 — yi111 · 2026-10-14
- 预注册实验 E4:中性突变对程序进化的预测相关性仅 0.18 — bushibuilds · 2026-10-14
- 离线 AI 学习应用 Discover AI:51 个动手实验从神经元讲到 Agent — Zipidyzip · 2026-10-14
- Modal 证明 RL 训练可用混合加速器集群，成本更低且收敛不输同构 — charles_irl · 2026-10-14
- 训练直嵌仓库级代码编辑能力，摆脱重型 Agent 脚手架 — burkov · 2026-10-14