AI Receipts

Receipts

One page per AI claim. The claim, the line items, the sources, and a verdict: ✅ Checks out, ⚠️ Partly, or ❌ Doesn't add up.

⚠️ Partly

“OpenAI's AI solved hundreds of open math problems”

OpenAI released 722 AI-written math manuscripts. We itemized how many are machine-checked (162 in the Lean catalogue), peer-reviewed (0), and how many failures were disclosed (none).

OpenAI · checked Oct 18, 2026