Comment by Ancapistani 19 hours ago They have formal proofs included, that’s the point. 9 comments Ancapistani Reply 2sk21 14 hours ago Unless humans have gone through the proofs line by line and verified them, this all remains unproven. frozenseven 11 hours ago If you're hoping for these results to be fake, you're going to have a bad time. A really bad time. xyzsparetimexyz 18 hours ago Yeah but how am I meant to verify that the proof is proving what it says it is? margorczynski 13 hours ago 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 anthonyrstevens 8 hours ago Do you know what "sorry" means in the context of Lean? xyzsparetimexyz 11 hours ago How am *I* meant to do that TeeWEE 16 hours ago Note true for all of them. saberience 13 hours ago Who made the formal proofs and who checked them?
2sk21 14 hours ago Unless humans have gone through the proofs line by line and verified them, this all remains unproven. frozenseven 11 hours ago If you're hoping for these results to be fake, you're going to have a bad time. A really bad time.
frozenseven 11 hours ago If you're hoping for these results to be fake, you're going to have a bad time. A really bad time.
xyzsparetimexyz 18 hours ago Yeah but how am I meant to verify that the proof is proving what it says it is? margorczynski 13 hours ago 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 anthonyrstevens 8 hours ago Do you know what "sorry" means in the context of Lean? xyzsparetimexyz 11 hours ago How am *I* meant to do that
margorczynski 13 hours ago 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 anthonyrstevens 8 hours ago Do you know what "sorry" means in the context of Lean? xyzsparetimexyz 11 hours ago How am *I* meant to do that
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?