alt Hacker NewsThey're publishing machine checkable proofs because that's the only way they, themselves, can check them.
They don't understand the math either.
They're publishing machine checkable proofs because that's the only way they, themselves, can check them.
They don't understand the math either.
For 3.5 days we had a machine checkable proof the Collatz conjecture was false. There turned out to be a bug in the machine checker.