The proof, known to be so hard that a mathematician once offered 10 martinis to whoever could figure it out, connects quantum ...

The quest to find the longest-running simple computer program has identified a new champion. It’s physically impossible to write out the numbers involved using standard mathematical notation.

A decade ago, Karen Lloyd discovered single-celled microbes living beneath the seafloor. Now she studies how they can survive ...