OpenAI has said that one of its unreleased AI reasoning models has solved a long-standing mathematics problem first proposed ...

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.

Google DeepMind's AlphaProof Nexus solved 9 open Erdős problems and proved 44 OEIS conjectures using AI-driven formal ...

A 23-year-old without an advanced math degree may have found a solution to a long-unsolved Erdős problem by prompting GPT-5.4, drawing praise from mathematicians. Experts, including UCLA’s Terence Tao ...

Only a few months ago, the question felt mostly philosophical: if artificial intelligence can help solve open math problems, ...

OpenAI’s AI model solved an 80-year-old Erdős math problem, marking a breakthrough in AI-assisted scientific reasoning and ...

Five years ago, mathematicians Dawei Chen and Quentin Gendron were trying to untangle a difficult area of algebraic geometry involving differentials, elements of calculus used to measure distance ...

That’s how Meta’s chief AI scientist Yann LeCun described the blowback after OpenAI researchers did a victory lap over GPT-5’s supposed math breakthroughs. Google DeepMind CEO Demis Hassabis added, ...