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

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

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

Members of the Princeton High School Math Team have enjoyed competing in math tournaments and national competitions. Wanting their younger counterparts to enjoy a similar experience, they created a ...

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

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

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

What if the secrets to the universe’s most perplexing mathematical riddles were no longer locked away, but instead cracked open by an artificial mind? In a new development, OpenAI’s o3-mini model has ...

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

Across the country, parents are discovering that what their children bring home from school looks very little like what they once learned. It isn’t just math — reading lessons, writing expectations, ...