Microsoft Math Solver is a free tool that uses AI to recognize both printed and handwritten math. It’s particularly strong with geometric proofs and interactive graphing, and it pulls learning ...

AI could soon spew out hundreds of mathematical proofs that look "right" but contain hidden flaws, or proofs so complex we can't verify them. How will we know if they're right?

Cognitive overload can create a bottleneck during math lessons, but there are simple strategies to clear up students’ brain space for complex problem-solving.

The International Mathematical Olympiad (IMO) is a prestigious competition featuring talented high school students from around the world, in which competitors solve complicated mathematical problems.

A marriage of formal methods and LLMs seeks to harness the strengths of both.

Do you stare at a math word problem and feel completely stuck? You're not alone. These problems mix reading comprehension ...

Chain-of-Thought (CoT) prompting has enhanced the performance of Large Language Models (LLMs) across various reasoning tasks.

Five years ago, mathematicians Dawei Chen and Quentin Gendron were trying to untangle a difficult area of algebraic geometry involving differentials, elements of calculus used to measure distance ...

Last December, several members of a national organization for math education leaders came together to issue a warning. A growing movement in the field, they claimed, was calling on schools to adopt an ...

A Mathematician with early access to XAI Grok 4.20, found a new Bellman function for one of the problems he had been working on with my student N. Alpay. Not an Erdős problem, but original research.