Marijn Heule uses turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them.

Two mathematicians have proved that a straightforward question—how hard is it to untie a knot?—has a complicated answer.

In “The Great Math War,” Jason Socrates Bardi takes on a battle for the soul of numbers that divided the experts of its day.

This 180-sided object cannot fit through another like it, no matter where you bore the hole or how you tilt it.

For centuries, mathematics was seen as the one discipline immune to contradiction — until one man proved it wasn’t. In the early 20th century, Kurt Gödel uncovered a flaw buried inside logic itself, ...