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.

Helping students to develop math fluency takes more than just flash cards. It requires teaching them how to think about numbers. And while that may seem daunting, most kids enjoy sharpening their math ...

Georgetown University psychologist Shadab Tabatabaeian, the paper’s lead author, imagines a “cool application” of their ...

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

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