05:47
2026-08-18
aiunderstanding.org
artificial-intelligence
Audit of an OpenAI AI-Generated Proof Finds a Reversed Condition, and Publishes a Repair
An arXiv note posted August 3, 2026 by Mikołaj Sienicki and Krzysztof Sienicki reports that the printed proof of a greedy conditioning lemma in Chapter 6 of OpenAI's Ten Advances in Mathematics and Th…