|
|
|
|
|
|
by colordrops
3241 days ago
|
|
|
And furthermore, you could run it on different machines and have humans verify the results. In any case I'd trust the machines more than a human mind when it comes to consistency, and we already trust human minds with proofs. |
|
|