2 ms·
> 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 t
by 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.