OSVerify 两轮揪出 GPT-6-Pro 与 Codex 漏掉的数学证明错误

OSVerify 两轮发现 GPT-6-Pro 与 Codex 均漏检的数学证明错误，并给出修复建议，使相关论文通过审查。该框架将验证拆成错误提案与错误确认两步，团队此前用它审查 11 篇 OpenAI 数学预印本，确认了 5 个重大和 13 个次要问题。原文据此主张，AI 辅助科学发现需要同步扩大验证能力。