Damn you wikipedia
The last human stronghold -> Four color theorem -> Computer assisted proof -> Automated theorem prover -> NP-Complete -> NP
Welcome to linked information.
The last human stronghold -> Four color theorem -> Computer assisted proof -> Automated theorem prover -> NP-Complete -> NP
Welcome to linked information.