Name: The Collatz Conjecture was FALSE, formally verified false in Lean, for 2.5 days in July. The "proof" was not a
Channel: @mathandcobb
Description: TikTok video by @mathandcobb: 89,400 views, 0 likes, 0 comments, 0 shares, 0 saves. Engagement 0.0%.

tokgauge/ @mathandcobb / video3 / 13Esc

@mathandcobb

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

Views

89.4K

Likes

0

Comments

0

Shares

0

Saves

0

Reposts

0

0.0% ERengagement of this clip — above the author's average (0.00%)

top 15%outperforms 85% of the author's clips

320%of the author's average views

Download Open on TikTok ↗