An AI system says it has proved Milne’s rationality conjecture.
What does that even mean, and has anyone checked? Each episode takes one claim like this, builds the intuition with animation, and keeps a running record of how far the proof has been verified.
Episode 001: Many rulers, one fraction, about 6 minutes.
Where this claim stands
- Posted as a preprint
- OpenAI, October 7, 2026 edition
- Peer reviewed
- Not yet
- Checked in Lean
- Not yet
Last checked October 10, 2026. The claim has not been withdrawn.
Episodes
How to read the record
Every claim gets the same three steps. A filled gold box means a step has happened; an empty box means it hasn’t yet.
- Posted as a preprint
- The proof is public
- Peer reviewed
- Refereed by mathematicians
- Checked in Lean
- Verified step by step by computer
Posted as a preprint means the lab has released a written proof anyone can read. That’s where a claim starts, not where it ends. Peer reviewed means independent mathematicians have refereed it, usually for a journal. Checked in Lean means the main result has been verified by Lean, a computer program that accepts a proof only when every step is justified.
If a claim is withdrawn, its box turns red and the episode stays up, clearly marked. Mistakes are part of the story.