Hacker News Reader

Unless humans have gone through the proofs line by line and verified them, this all remains unproven.

If you're hoping for these results to be fake, you're going to have a bad time. A really bad time.

Yeah but how am I meant to verify that the proof is proving what it says it is?

Verify the statement is correct + it doesn't introduce any new axioms + doesn't use "sorry" etc.

Order of magnitudes easier than verifying the whole thing by hand and gives a much better guarantee of correctness

Do you know what "sorry" means in the context of Lean?

How am *I* meant to do that

Note true for all of them.

Who made the formal proofs and who checked them?