GPT-5.4 Pro cracked a conjecture in number theory that had stumped generations of mathematicians, using a proof strategy that no human had ever considered.

Sam Raskin has wrapped his head around a math problem so complex it took five academic studies — and more than 900 pages — to solve. The results are a sweeping, game-changing math proof that was ...

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

Add Yahoo as a preferred source to see more of our stories on Google. In 1993, Hungarian mathematician Paul Erdős—one of the most prolific mathematicians of the 20th century—posed a question with two ...

A long-standing mathematical puzzle linked to the work of Paul Erdős has reportedly been solved with the help of ChatGPT, ...