OpenAI claims one of its newest AI reasoning models has solved a maths problem that has remained unsolved since 1946. The ...

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

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

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

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

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

For most people, the image of runners circling a track may suggest competition, but for Tanupat Trakulthongchai, a ...