For years, a French mathematician searched for a proof that a gigantic number is prime. His method is still used 150 years ...

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

New research from the University of Waterloo is making inroads on one of the biggest problems in theoretical computer science ...

For over a decade, mathematicians have failed to agree whether a 500-page proof is actually correct. Now, translating the ...

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