AI Proved What?

About this project

AI systems have started posting proofs of research-level mathematics. Most people can’t read those papers, and most headlines don’t say whether anyone has checked them.

Each episode of AI Proved What? takes one claimed result, builds the intuition with animation, says exactly what was claimed and what wasn’t, and keeps a record of how far the proof has been checked. It’s for curious people without a math PhD: roughly, anyone who enjoyed high school math and wonders what the fuss is about.

How episodes are made

The scripts and animations are produced with AI assistance, using Anthropic’s Claude and the open-source Manim animation library. The narration is an AI-generated voice. Every episode links the paper it’s based on and publishes its full script, so anything said can be checked against the source.

The explanations simplify on purpose. A donut stands in for spaces with many more dimensions, and the on-screen pictures are cartoons of ideas, not exact diagrams.

How claims are tracked

Every episode carries the same record: whether the proof has been posted, whether it has been peer reviewed, and whether its main result has been checked in Lean, a computer program that verifies proofs step by step. Each record says when it was last checked. If a claim is withdrawn, the episode stays up and is marked in red.

Corrections

If something in an episode is wrong, open an issue on GitHub or comment on YouTube. Fixes are noted on the episode page with the date.

Independence

AI Proved What? is not affiliated with, sponsored by, or endorsed by OpenAI or any other organization whose work it covers. Names are used only to say where a claim comes from.

Credits and licenses

  • Episodes explain papers from github.com/openai/math, used under the Apache License 2.0. The papers belong to their authors.
  • Scripts, images and page text here are shared under CC BY 4.0. The site code is under the MIT License.
  • Animations use Manim Community (MIT). Narration uses the Kokoro voice model (Apache 2.0).
  • Type is set in STIX Two (SIL Open Font License).