Axiom says its AI found solutions to several long-standing math problems, a sign of the technology’s steadily advancing reasoning capabilities.

Top artificial intelligence systems now ace many textbook-style math questions, yet they still fall apart on genuinely new ...

Forbes contributors publish independent expert analyses and insights. Linda Darling-Hammond is an expert on education research and policy. PISA scores reveal deep problems in how the United States ...

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

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

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

LLMs have recently helped find solutions to a number of minor longstanding problems. But a new plan called First Proof is really putting them to the test ...

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

It’s a common experience for many New York City parents. They sit down to help their kids with math homework, only to be totally flummoxed. Part of the reason is math instruction has undergone a ...