Top artificial intelligence systems now ace many textbook-style math questions, yet they still fall apart on genuinely new problems. The gap between polished performance on familiar benchmarks and ...

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

Those changes will be contested, in math as in other academic disciplines wrestling with AI’s impact. As AI models become a ...

In new research, mathematicians have narrowed down one of the biggest outstanding problems in math. Huge breakthroughs in math and science are usually the work of many people over many years. Seven ...

Google DeepMind’s AlphaProof and AlphaGeometry 2 are milestones for AI reasoning. This story originally appeared in The Algorithm, our weekly newsletter on AI. To get stories like this in your inbox ...

Students often struggle to connect math with the real world. Word problems—a combination of words, numbers, and mathematical operations—can be a perfect vehicle to take abstract numbers off the page.

Imagine you are a mountaineer. Nothing excites you more than testing your skill, strength and resilience against some of the most extreme environments on the planet, and now you've decided to take on ...

Imagine you’re a character in a math problem. You have three platters, but two cakes. All three platters need to have the same amount of cake. How would you split it? Without even saying the word ...

Teachers can use these questions to draw students out and get worthwhile formative assessment responses to guide instruction.

A new preprint math paper is lighting up the airwaves as mathematicians tune in for a possible breakthrough in a very old, very sticky problem in number theory. Riemann’s hypothesis—concerning the ...