A paper proving the Kepler Conjecture (What is the most efficient way to stack spheres?) has been accepted by the Annals of Mathematics. However, the proof requires some extensive computer calculations. This New York Times article briefly talks about the proof and how computers fit into the philosophy of Mathematics.
(The New York Times website requires a one time registration.)
Posted by Davy at April 6, 2004 07:15 AM