Mathematician Kevin Buzzard of Imperial College London is training computers how to prove one of the most famous problems in math history: Fermat’s last theorem. Resolving the problem isn’t the point.

North Carolina is working on a major overhaul of its math standards that state officials hope will better connect what students learn in the classroom to the real world. The state Department of Public ...

Space and time aren’t just woven into the background fabric of the universe. To theoretical computer scientists, time and space (also known as memory) are the two fundamental resources of computation.

Breakthroughs in pure mathematics can take decades. A new Defense Department initiative aims to speed things up using artificial intelligence. By Alexander Nazaryan Artificial intelligence can write a ...