A computer-aided proof for the four color theorem forced mathematicians to trust a machine for the first time.
From “Why Does Uncertainty Bother Us So Much? | Adam Kucharski | TED” — TED
see it said at 3:05
Did you know?
Surprising facts — each proven at the exact second of its video