OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who ...

A chatbot’s result for the 80-year-old “unit distance” conjecture is the first AI proof that would likely be published in ...

Google DeepMind said AlphaProof Nexus solved nine open Erdős problems using Lean-verified proofs. The claim has sharpened debate over hallucinations in AI maths and what counts as real progress ...

Company says work on Paul Erdős planar unit distance problem shows advance in AI reasoning ...

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

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

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

In 2000 the Clay Mathematics Institute offered a cool million bucks for the answer to any of the seven math problems that they’ve deemed the hardest in the world. The Millennium Problems: The Seven ...