In Math, Computers Don’t Lie. Or Do They?

An interesting article about a computer assisted proof of a mathematical problem – and can the proof be trusted? Free registration required to read it. “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.”