The painstaking process of formalization to verify proofs is starting to surge thanks to AI. That could radically change the ...

"Hearst Magazines and Yahoo may earn commission or revenue on some items through these links." Two mathematicians now say they’ve made progress on a very old unsolved math problem. The problem ...

Students who make relevant arm movements while learning can improve their knowledge and retention of math, research has shown. Now researchers at Southern Methodist University, Dallas, and the ...

DeepMind, the Google AI R&D lab, believes that the key to more capable AI systems might lie in uncovering new ways to solve challenging geometry problems. To that end, DeepMind today unveiled ...

In March 2025, mathematician Daniel Litt made a bet. Despite the march of progress of artificial intelligence in many fields, he believed his subject was safe, wagering with a colleague that there was ...

Mathematical truths are often born of the conflict between order and disorder. Mathematicians discover patterns, and, to better understand the mysterious forces at play, they look for countervailing ...

Two years ago, a couple of high school classmates each composed a mathematical marvel, a trigonometric proof of the Pythagorean theorem. Now, they’re unveiling 10 more. For over 2,000 years, such ...