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

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

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

eSchool News is counting down the 10 most-read stories of 2025. Story #4 focuses on making math instruction more relevant to students. The real question students are asking is, “When am I ever going ...

Your brain calculates complex physics every day and you don't even notice. This neuromorphic chip taps into the same idea.

American students are struggling with math, but what’s really to blame? Some blame the pandemic. Others point to overreliance on technology or a broader cultural attitude that treats math anxiety as ...

Artificial intelligence has attained an impressive series of feats—solving problems from the International Math Olympiad, ...

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

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

Porter’s Chapel Academy teacher Frances Warren uses her civil engineering background to turn math and science instruction ...