人工审核发现AI数学证明中的错误实为文本提取问题，提醒审稿需关注处理流程。
Auditing an AI-Generated Mathematical Proof: Human Assessment of OpenAI's Quantum Parallel-Repetition Argument
- 通过人工复核验证了OpenAI数学论证的正确性
- 原误判源于自动提取时符号过横线丢失，非真实逻辑错误
- 揭示了审核AI生成数学内容时文档处理环节的风险
我们对OpenAI《十项数学与理论计算机科学进展》第6章中生成的证明进行了独立人工评估。初步审计看似发现贪心条件引理中存在符号极性错误。后续对原始排版手稿的检查表明，该诊断源自自动PDF文本提取过程，导致数学符号上的过横线被移除。因此，该错误指控被撤回。在恢复正确表达式后，我们未发现该引理中存在确认的数学错误。保留此整体分析，因其提供了对OpenAI论证的独立重构与评估，并揭示了审计AI生成数学内容时的一个重要方法论隐患：错误可能不仅来自数学推理本身，也可能源于人类审稿人所用的文档处理流程。
原文摘要 · Abstract (English)
We present an independent human assessment of the proof developed in Chapter 6 of OpenAI's Ten Advances in Mathematics and Theoretical Computer Science. An initial audit appeared to identify a polarity error in a greedy conditioning lemma. Subsequent examination of the original typeset manuscript showed that this diagnosis resulted from automatic PDF text extraction, which removed an overbar from a mathematical symbol. The alleged error is therefore withdrawn. With the correctly rendered expression restored, we find no confirmed mathematical error in the examined lemma. We retain the broader analysis because it provides an independent reconstruction and assessment of the OpenAI argument and illustrates an important methodological hazard in auditing AI-generated mathematics: errors may arise not only in mathematical reasoning but also in the document-processing pipeline used by human reviewers.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。