# When is a proof enough?

**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.

Connects to:
- [Proof](https://mapideas.org/i/mat_proof)
- [Computation](https://mapideas.org/i/mat_computation)

Sources:
- [Wikipedia: Four color theorem](https://en.wikipedia.org/wiki/Four_color_theorem)

Source: https://mapideas.org/i/q_math_enough · open on the map: https://mapideas.org/#q_math_enough