A simple deck of 52 cards can be arranged in more ways than there are atoms on Earth.

Computers can already help verify proofs. One day soon, AI may be able to come up with new ones.

Interactive article about the Moon.