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 AI math solver builds skills!

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

American students are struggling with math, but what’s really to blame? Some blame the pandemic. Others point to overreliance ...

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

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

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