Re:ProofWiki: Online compendium of mathematical proofs
by ivancho on Sunday February 04, 2024 @05:31PM
(#39255201)
What is your certainty that that statement is true? What if it was a calculation which takes decades on a supercomputer?
[ Parent
| on HN ]
Re:ProofWiki: Online compendium of mathematical proofs
by jusuhi on Tuesday February 06, 2024 @01:55AM
(#39271546)
At current rates, whatever is done on a supercomputer today is done by a cheap pocket-size device just decades later. So, I'm not too worried about this case.
One of the first famous examples of this is the four-coloring theorem. I don't know any serious mathematician who is not certain of that result.