AI math proof verification reached a new frontier as DeepMind’s AlphaProof Nexus solved nine open Erdős research problems with Lean-verified proofs, some unsolved for 56 years. The May 2026 Science Ne ...

News that large language models (LLM) have made major advances in solving Erdős problems – a set of problems formulated by the renowned 20 th-century mathematician Paul Erdős – has created an ...

After an AI from OpenAI found a trick to solve an 80-year-old conjecture from Paul Erdős, mathematicians have borrowed the ...

For decades, physicists have been stuck between two frameworks that each work brilliantly but refuse to reconcile. A new study suggests string theory may emerge from basic assumptions.

After all, I know a lot about math. What many people don’t realize is that the academic subject of mathematics is not about ...

Rick and Morty Season 9 Episode 1 encodes three real scientific frameworks as plot mechanics: the Everett many-worlds interpretation powers the Omega Device, Russell’s Paradox drives The Collective’s ...

Three mathematicians have laid out proof that solves a long-standing problem in mathematics. Even the mathematician—an Abel ...

An AI system developed by OpenAI has produced a verified proof addressing a classic problem in discrete geometry first posed ...

OpenAI has achieved a remarkable milestone by solving the “unit distance problem,” a mathematical conjecture that has challenged researchers for over 80 years. This problem, originally posed by ...

At 25, Kurt Gödel proved there can never be a mathematical “theory of everything.” Columnist Natalie Wolchover explores the ...

A 23-year-old amateur solved open Erdős problem #1196 with a prompt to GPT-5.4 Pro – mathematicians see a new quality in this ...