3 ms·
Hales didn't resolve the 4 colors theorem, Gonthier did that. Hales proved the Kepler Conjecture and afterwards facilitated its formal verification via the Flys
by auggierose 8y ago
Hales didn't resolve the 4 colors theorem, Gonthier did that. Hales proved the Kepler Conjecture and afterwards facilitated its formal verification via the Flyspeck project.
- wolfgke 8y ago> Hales didn't resolve the 4 colors theorem, Gonthier did that. Gonthier didn't resolve the 4 colors theorem, Appel and Haken did that. Gonthier just created the first computer-checked proof for the Four-color theorem.
- tacomonstrous 8y agoYes, thank you. Mixed up machine assisted proofs.