AI and mathematics

Every AI and mathematics story we have explained, from plain English to the deep end.

7 October 202616 min full depth

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.

OpenAI AI and mathematics Formal verification