bluesky — David Jekel — 8 Oct 2026
Famously, someone in the last year claimed a proof of the Collatz conjecture verified in Lean, which turned out to be wr…
#number-theory #mathematical-verification #proof-formalization
Famously, someone in the last year claimed a proof of the Collatz conjecture verified in Lean, which turned out to be wrong.