OSVerify两度发现AI证明漏检错误

论文作者团队使用OSVerify审查由GPT-6-Pro起草、Codex审阅的Kamnitzer的ICM 2022猜想证明，第一轮发现一处足以使主定理证明失效的重大错误，并获OSVerify提出修复建议，修复后通过审查。后续第二轮又发现两套AI均漏检的证明错误。 OSVerify采用“错误提案—错误确认”两步验证；团队此前用它审查11篇OpenAI数学预印本，确认5个重大问题和13个次要问题。团队据此主张，AI辅助科学发现需同步提升验证能力。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。