2 ms·
>The only way to mitigate this is to use computer-readable proofs, which can be verified by algorithms to ensure correctness. What if the algorithms have error
by DeathArrow 4y ago
>The only way to mitigate this is to use computer-readable proofs, which can be verified by algorithms to ensure correctness.
What if the algorithms have errors? What if a cosmic ray flips one bit of memory?
- cjfd 4y ago100% accuracy will never be achievable. What might be achievable, though, is a higher degree of confidence than we currently have. Of course, the correctness of algorithms should also have to have a computer validated proof.
- nkrisc 4y ago> What if the algorithms have errors? Errors will always happen. > What if a cosmic ray flips one bit of memory? Run it several times and compare results until you reach the desired level of statistical certainty.