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

AI could soon spew out hundreds of mathematical proofs that look "right" but contain hidden flaws, or proofs so complex we ...

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

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

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

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

OpenAI’s unreleased model solved five of 10 unpublished research-level math problems and proposed a breakthrough physics formula, signaling a new era for AI in science.

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

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