OpenVerification 上线:AI 出论文快过人工验证,先审 OpenAI 数学论文
ChenhaoTan · x · 2026-10-14
研究者团队发布 OpenVerification,一个公开平台,主打「AI 产出科学结果的速度已超过人类验证的速度」。平台用 AI 自动审查 AI 生成论文、标记潜在问题,并邀请研究者公开验证,首页直接以 OpenAI 的数学论文为首批对象:截图显示多篇文章被标出 MAJOR 级问题,例如某数论论文「从 A 到 F₀ 的限制在 α=1 时非单射」、一篇遍历理论论文的主定理缺少必要条件、一篇 Ricci flow 论文的命题不等式直接取自来源证明而未在所选 flow 下展示。每篇按严重度、领域分类并标注 major issue 数量,任何人可认领「Help verify」。
所属事件:斯坦福OSVerify审出OpenAI数学论文多项问题(3 条相关)→
「研究」频道最新
- MIT/NVIDIA发布Lightning Weave:组合两个专家模型,推理更准还省20% token — songhan_mit · 2026-10-14
- SDECast 用神经 SDE 做连续时间概率天气预报,5 天内有效 — scott_linderman · 2026-10-14
- NVIDIA/MIT推出Long-WAM:上下文拉长到19秒,机器人实时控制成功率达78.7% — songhan_mit · 2026-10-14
- AI 发现药物该署名吗?科研署名制度遭遇挑战 — yi111 · 2026-10-14
- 预注册实验 E4:中性突变对程序进化的预测相关性仅 0.18 — bushibuilds · 2026-10-14
- 离线 AI 学习应用 Discover AI:51 个动手实验从神经元讲到 Agent — Zipidyzip · 2026-10-14