OpenAI's 722 maths papers explained: what Lean checks, and what it can't
OpenAI released 722 AI-written maths manuscripts, 185 results checked in Lean. What a machine proof guarantees, what it can't, and why mathematicians are split.
Formal verification
Every Formal verification story we have explained, from plain English to the deep end.