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.

Prime numbers are sometimes called math’s “atoms” because they can be divided by only themselves and 1. For two millennia, mathematicians have wondered if the prime numbers are truly random, or if ...

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

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

In the mid-19th century, Bernhard Riemann conceived of a new way to think about mathematical spaces, providing the foundation ...

DeepMind’s AlphaEvolve helps solve a math puzzle with Terence Tao, showing how AI can now invent new ideas—and prove old ones ...

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

New research from UBC Okanagan mathematically demonstrates that the universe cannot be simulated. Using Gödel’s ...

Artificial intelligence (AI) is increasingly prevalent, integrated into phone apps, search engines and social media platforms ...