{"id":"arxiv/2608.14673","url":"https://arxiv.org/abs/2608.14673","tags":["cs.AI","cs.GL","quant-ph"],"score":0,"title":"A Human Audit of OpenAIs AI-Generated Mathematical Proofs","domain":"cs.AI","source":"arxiv","authors":["Mikołaj Sienicki","Krzysztof Sienicki"],"reviews":0,"subject":"cs.AI","summary":"We assess 18 chapter-specific reviews of the ten mathematical results announced by OpenAI on 1 August 2026, alongside review standards, Lean formalizations, subsequent research, and mathematical references. The article audits this review record without claiming a complete reconstruction of all ten proofs. No confirmed substantive mathematical error in a principal result remains in the examined assessments, although review depth varies and some dependencies remain partly checked. Chapter 8 presents the strongest reservation: a specialist review requests major revision of compressed analytic…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-08-03","reactions":{}}