What your iPod playlist says about you.

"Can the human eyeball be knocked out of the head?"

"Computer generates verifiable mathematics proof" of the Four Color Theorem. This should put the controversy over the 1976 computer-aided proof to rest.

"An iceberg that collided with Antarctica has broken a piece of the continent off, forcing maps of the bottom of the world to be redrawn..."