What's up in

Kepler conjecture

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

In Computers We Trust?

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