{"type": "article", "title": "Auditing an AI-Generated Mathematical Proof: A Correction to a Greedy Conditioning Lemma in Quantum Parallel Repetition", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/auditing-an-ai-generated-mathematical-proof-a-correction-to-a-greedy-lemma-in", "original_source": "https://www.machinebrief.com/news/auditing-an-ai-generated-mathematical-proof-a-correction-to-xxaz", "published": "2026-08-18T04:00:00+00:00", "accessed": "2026-08-18", "id": "auditing-an-ai-generated-mathematical-proof-a-correction-to-a-greedy-lemma-in"}