Google DeepMind’s AlphaProof system scored at a silver-medal level when tested against the 2024 International Mathematical ...

Find out why students trust Math-GPT with their assignments and how it supports learning with step-by-step explanations. This ...

AxiomProver solved a real open math conjecture using formal verification, signaling a shift from AI that assists research to AI that discovers new truths.

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

When you swing a tennis racket or catch a set of keys, you aren’t thinking about wind resistance or gravity. Yet, to perform that motion, your brain is solving a massive physics problem in ...

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

AlphaEvolve uses large language models to find new algorithms that outperform the best human-made solutions for data center management, chip design, and more. Google DeepMind has once again used large ...

STARKVILLE, Miss.—Mississippi State Instructor II Kim Walters is using her Math in Your World class to teach students that math is more than problems in a textbook––it’s a practical tool with everyday ...

(THE CONVERSATION) Among high school students and adults, girls and women are much more likely to use traditional, step-by-step algorithms to solve basic math problems – such as lining up numbers to ...

Math often feels disconnected from the real lives of students. They learn the steps, solve equations and check their work, ...