|
|
|
|
|
|
by troymc
456 days ago
|
|
|
Another example akin to the proof of the 4-color map theorem was the proof of the Kepler conjecture [1], i.e. "Grocers stack their oranges in the densest-possible way." We "know" it's true, but only because a machine ground mechanically through lots of tedious cases. I'm sure most mathematicians would appreciate a simpler and more elegant proof. [1] https://en.wikipedia.org/wiki/Kepler_conjecture |
|
|