Auditing 1200 Sessions From 957 claimed theorems to 18 honest ones. What the audit process revealed and why it matters. 2026-04-19 · meta