What's up in

Kepler conjecture

algorithms

In Computers We Trust?

As the role of computers in pure mathematics grows, researchers debate their reliability.