In Math, Computers Don't Lie. Or Do They? A leading mathematics journal has finally accepted that one of the longest-standing problems in the field — the most efficient way to pack oranges — has been conclusively solved.
That is, if you believe a computer. [...]
Because of the ambiguities, the journal, the prestigious Annals of Mathematics, has decided to publish only the theoretical parts of the proof, which have been checked in the traditional manner. A more specialized journal, Discrete and Computational Geometry, will publish the computer sections.
