Featured · recent
OpenAI Math's Correction Week: What a Passing Lean Proof Actually Verifies
OpenAI released 700+ AI math manuscripts, then withdrew three. We split "AI proved X" into five layers, show what a machine checks, and give an audit checklist.
Read →