{"slug": "auditing-an-ai-generated-mathematical-proof-a-correction-to-a-greedy-lemma-in", "title": "Auditing an AI-Generated Mathematical Proof: A Correction to a Greedy Conditioning Lemma in Quantum Parallel Repetition", "summary": "A correction to OpenAI's *Ten Advances in Mathematics and Theoretical Computer Science* fixes a polarity error in a greedy conditioning lemma used in a claimed exponential parallel-repetition theorem for quantum games. The note, posted on arXiv (2608.14673v1), provides a counterexample and a complete corrected proof, leaving the lemma's statement and parameters unchanged. The author cautions that the repair does not independently verify the main theorem and illustrates how AI-generated proofs can contain subtle reversals.", "body_md": "arXiv:2608.14673v1 Announce Type: new\nAbstract: Chapter 6 of OpenAI's *Ten Advances in Mathematics and Theoretical Computer Science* claims an exponential parallel-repetition theorem for all finite two-player, one-round entangled games. Early in the proof, the chapter uses a quantitative greedy conditioning lemma. The lemma is meant to select a small set of coordinates (D) such that, after conditioning on winning every coordinate in (D), a randomly chosen remaining coordinate is won with average probability at least (1-\\delta). The statement is correct, but the proof as printed contains a polarity error. Its continuation test is written in terms of average success, while the next step requires a coordinate with a large conditional failure probability. That implication is false, and even simple examples can leave the printed procedure without a valid next move.\nThis note gives an explicit counterexample, identifies the intended continuation condition, and supplies a complete corrected proof. The repair is local: it leaves the statement of the lemma and the parameters used later in the chapter unchanged. It should not, however, be read as an independent verification of the main parallel-repetition theorem. More broadly, the example shows how a mathematically plausible AI-generated argument can hide a small but decisive reversal between complementary events.", "url": "https://wpnews.pro/news/auditing-an-ai-generated-mathematical-proof-a-correction-to-a-greedy-lemma-in", "canonical_source": "https://www.machinebrief.com/news/auditing-an-ai-generated-mathematical-proof-a-correction-to-xxaz", "published_at": "2026-08-18 04:00:00+00:00", "updated_at": "2026-08-18 04:41:00.028330+00:00", "lang": "en", "topics": ["artificial-intelligence", "ai-research"], "entities": ["OpenAI", "arXiv"], "alternates": {"html": "https://wpnews.pro/news/auditing-an-ai-generated-mathematical-proof-a-correction-to-a-greedy-lemma-in", "markdown": "https://wpnews.pro/news/auditing-an-ai-generated-mathematical-proof-a-correction-to-a-greedy-lemma-in.md", "text": "https://wpnews.pro/news/auditing-an-ai-generated-mathematical-proof-a-correction-to-a-greedy-lemma-in.txt", "jsonld": "https://wpnews.pro/news/auditing-an-ai-generated-mathematical-proof-a-correction-to-a-greedy-lemma-in.jsonld"}}