Breaking news, the Collatz conjecture was false.

@mathandcobb

260.0K followers · usually 5.6K views a post

Views

80.1K

Likes

5.2K

Comments

118

Shares

234

Why it worked

The video uses a high-stakes, technical 'breaking news' hook about a famous mathematical conjecture, which immediately captures the attention of math and programming enthusiasts.

Summary

The creator explains a recent incident where a false proof of the Collatz conjecture was verified by the Lean theorem prover due to a bug in its kernel. He discusses how the bug was identified and fixed, and reflects on the implications for the Lean community.

Free account

Transcript, structure and on-screen text

5 beats, a 540-word transcript and 83 lines of on-screen text — the parts you need to write your own version.

Create a free account to see the full breakdown

Original caption

The Collatz Conjecture was FALSE, formally verified false in Lean, for 2.5 days in July. The "proof" was not a proof, it was just an exploit of a bug in the Lean kernel. Let's go over what happened! #math #mathtok #ai #lean #collatzconjecture