] 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.