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.

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

Illustrative Mathematics was established in 2011 at the University of Arizona as a means to assist schools in adopting the Common Core standards. It has since grown to include a K-12 math curriculum ...

Life’s origin story just became even more mysterious. Using mathematics and information theory, Robert G. Endres of Imperial College London found that the spontaneous emergence of life from nonliving ...

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

Rocky Point High School math teacher Jay Rand likes to challenge his students with a classic head-scratcher on the first day ...

Washington has an urgent math problem. Nearly one in three students cannot demonstrate basic grade-level skills, and among low-income students it’s almost one in two. In a state that prides itself on ...

That’s how Meta’s chief AI scientist Yann LeCun described the blowback after OpenAI researchers did a victory lap over GPT-5’s supposed math breakthroughs. Google DeepMind CEO Demis Hassabis added, ...

In Brookline, at the corner of Beacon and Washington Street, shiny SUVs pull up to a nondescript yellow building. Kids hurry out of the cars, and teachers usher them through the building’s glass doors ...

A TKer subscriber recently pointed out that if your investment is down 20%, then you’d need a 25% gain from the current level to return to the initial level. For example, if your investment of $100 ...