Hacker News new | past | comments | ask | show | jobs | submit
aktuel | on: Mathematics has changed. Let's act like it
No. Lean being bug-free is a far bigger claim.
ion_trapper | parent
A bug which has allowed 700 proofs from diverse fields of math to appear as proven, and noone has figured it out yet?
loading story #50329100