Professional mathematicians have been stunned by the progress amateurs have made in solving long-standing problems with the ...

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

Stuck on a tricky math problem? Google's newest app will use AI to help you solve it. Two years ago, Google announced the purchase of a math problem-solving app called Photomath. And earlier this week ...

WWDC 2024 hype season is upon us! We’re a little over a week away from Apple’s annual developer conference, where the company is expected to announce new versions of all of its platforms, including ...

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

To learn math, students must build a mental toolbox of facts and procedures needed for different problems. But students who can recall these foundational facts in isolation often struggle to use them ...