] A leading mathematics journal has finally accepted that one
] of the longest-standing problems in the field

The Kepler conjecture about how efficiently you can pack oranges
into a box has been solved with the help of computers, a la the
1976 proof of the four color theorem. There's a lot of hand-wringing here ... there is no ghost in the machine whether
it be made of silicon or carbon. Deal with it, people.

In Math, Computers Don't lie ... or do they?