← Back to context Comment by Ancapistani 1 day ago They have formal proofs included, that’s the point. 9 comments Ancapistani Reply 2sk21 19 hours ago Unless humans have gone through the proofs line by line and verified them, this all remains unproven. frozenseven 16 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 1 day ago Yeah but how am I meant to verify that the proof is proving what it says it is? margorczynski 18 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 13 hours ago Do you know what "sorry" means in the context of Lean? xyzsparetimexyz 16 hours ago How am *I* meant to do that TeeWEE 21 hours ago Note true for all of them. saberience 18 hours ago Who made the formal proofs and who checked them?
2sk21 19 hours ago Unless humans have gone through the proofs line by line and verified them, this all remains unproven. frozenseven 16 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 16 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 1 day ago Yeah but how am I meant to verify that the proof is proving what it says it is? margorczynski 18 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 13 hours ago Do you know what "sorry" means in the context of Lean? xyzsparetimexyz 16 hours ago How am *I* meant to do that
margorczynski 18 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 13 hours ago Do you know what "sorry" means in the context of Lean? xyzsparetimexyz 16 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?