In 1946, the mathematician Paul Erdős posed the unit distance problem—and suggested a winning strategy. An A.I. model has now ...

Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal ...

SpaceX’s $1.75T IPO bid after absorbing xAI raises red flags: big GAAP losses, cash burn, rich multiples, and Tesla spillover ...

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in ...

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

The math world is losing its mind over the new solution to an Erdős problem. This is what AI found, how we missed it—and why ...

GREEN ISLAND, Hanover — Faced with a shortage of trained and experienced mathematics teachers within public schools resulting in students being short-changed, vice-principal of Cross Keys High School ...

In a significant development for mathematics and artificial intelligence, a Chinese research team has claimed that its AI system has independently solved a long-standing mathematical problem, marking ...

From reproductive rights to climate change to Big Tech, The Independent is on the ground when the story is developing. Whether it's investigating the financials of Elon Musk's pro-Trump PAC or ...

A Chinese artificial intelligence framework has autonomously resolved an open problem proposed more than a decade ago by a US mathematician, according to the Peking University-led team that developed ...