斯坦福 OSVerify 审读 11 篇 OpenAI 数学预印本，发现 5 个重大与 13 个次要问题

斯坦福团队发布 OSVerify，一个面向 AI 产出速度超过人类评审能力场景的单边验证框架，把验证解耦为错误提议和错误确认两步。它对 11 篇 OpenAI 数学预印本完成审读，发现 5 个重大、13 个次要问题，全部经人类专家确认，还配合数学 agent 推进了 Manin 常数猜想等 4 个公开猜想的证明。