proof-auditing

标签

#proof-auditing

审计AI生成的数学证明：量子并行重复中贪婪条件引理的修正

arXiv cs.AI ↗ · 2026-08-18 缓存

本文修正了OpenAI的AI生成的量子博弈指数级并行重复定理证明中使用的贪婪条件引理中的极性错误，并提供了反例和完整的修正证明。

0 人收藏 0 人点赞

← 返回首页

提交意见反馈