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.
No comments:
Post a Comment