Fermat’s last theorem is just one of many examples of innocent-looking problems that can long stymie even the most astute mathematicians. It took about 350 years to prove Fermat’s scribbled conjecture ...

The artificial intelligence (AI) program DeepMind has gotten closer to proving a math conjecture that's bedeviled mathematicians for decades and revealed another new conjecture that may unravel how ...

For all of the recent strides we’ve made in the math world—like a supercomputer finally solving the Sum of Three Cubes problem that puzzled mathematicians for 65 years—we’re forever crunching ...

The last dimension of Keller's conjecture has been proven using a computer algorithm. The conjecture involves the way hypercubes in different dimensions share sides when tiled. The proof is ...