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 ...
OpenAI claims one of its newest AI reasoning models has solved a maths problem that has remained unsolved since 1946. The ...
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 ...
Only a few months ago, the question felt mostly philosophical: if artificial intelligence can help solve open math problems, ...
Google DeepMind's AlphaProof Nexus solved 9 open Erdős problems and proved 44 OEIS conjectures using AI-driven formal ...
OpenAI’s AI model solved an 80-year-old Erdős math problem, marking a breakthrough in AI-assisted scientific reasoning and ...
When the Clay Mathematics Institute put individual $1-million prize bounties on seven unsolved mathematical problems, they may have undervalued one entry—by a lot. If mathematicians were to resolve, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results