AI models are starting to crack high-level math problems

“I was curious to establish a baseline for when LLMs are effectively able to solve open math problems compared to where they ...
eWeek

GPT-5.2 Just Solved a 30-Year Math Problem

GPT-5.2 Pro delivers a Lean-verified proof of Erdős Problem 397, marking a shift from pattern-matching AI to autonomous ...
Forbes

Meet The Stanford Dropout Building An AI To Solve Math’s Hardest Problems—And Create Harder Ones

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

Five Math Procedures To Help Students Learn From Their Mistakes

Math teacher Emma Chiappetta uses a three-round exercise to help students not only recognize their errors, but also generate ...
Yahoo

Girls and boys solve math problems differently – with similar short-term results but different long-term outcomes

Math teachers have to accommodate high school students' different approaches to problem-solving. RJ Sangosti/MediaNews Group/The Denver Post via Getty Images Among high school students and adults, ...
Analytics Insight

Why Large Language Models Can't Always Solve Math Problems

Overview: Large Language Models predict text; they do not truly calculate or verify math.High scores on known Datasets do not ...