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 ...

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

Mathematicians from the California Institute of Technology have solved an old problem related to a mathematical process called a random walk.

Abstract: We present a multi-way parallel corpus of Math Word Problems (MWPs) in nine languages, including six low-resource languages. To date, this is the largest multilingual MWP dataset available.

A new method trains artificial intelligence systems to more reliably solve complex problems that require interpreting both text and images. In tests, AI models trained with this method outperformed ...

Over the weekend, Neel Somani, who is a software engineer, former quant researcher, and a startup founder, was testing the math skills of OpenAI’s new model when he made an unexpected discovery. After ...

Learn the essential math behind deep learning in a clear, step-by-step way. From linear algebra to calculus and probability, this guide helps you understand and apply the math needed for building ...

Here's the thing about math that nobody tells you: it's less about memorizing formulas and more about knowing which tools to reach for. By fourteen, students should have a problem-solving toolkit that ...

Abstract: Designing algorithms to solve math word problems (MWPs) is an important research topic in natural language processing and smart education domains. The task of solving MWPs involves ...

24-year-old founder and CEO Carina Hong created Axiom Math in March 2025 and has recruited a team of ten employees, most of whom are from Meta, to build a math-focused AI model. Last fall, Carina Hong ...