The Rise of Computer-Assisted Proofs

Chomsky compares the approach to a statistical model of insect behavior. In mathematics, for example, it is becoming more and more common for problems to be settled using computer-generated proofs. Not all mathematicians are happy about this: Pierre de Lien said he doesn't believe in a proof done by a computer.