Kenneth Appel and Wolfgang Haken; Ashay Dharwadker

In 1976, K. Appel and W. Haken announced a “computer proof” of the four-color conjecture, using 1200 hours of computer calculations that could not be verified by humans, even in principle.

In 2000, Ashay Dharwadker announced a new proof of the four-color theorem that appears to have stood the test of time.

Leave a Reply

Your email address will not be published. Required fields are marked *