6 ms·
I think that happened awhile ago (2005) with the Four Color Theorem proof. https://en.m.wikipedia.org/wiki/Four_color_theorem https://en.m.wikipedia.org/wiki/F
by CalChris 10y ago
I think that happened awhile ago (2005) with the Four Color Theorem proof.
https://en.m.wikipedia.org/wiki/Four_color_theorem https://en.m.wikipedia.org/wiki/Four_color_theorem
- thomasahle 10y agoThe Four Color Theorem included calculations done on a computer, and later those have been more formalized. However the computations were highly problem dependent, trivial though plenty, and certainly not generalizable for proving anything else.