question to chase
When is a proof enough when no person can check it?
The four colour theorem was proved in 1976 with help from a computer that checked thousands of cases. People still ask what it means to trust a proof that nobody can read in one sitting.