There’s a $1-million prize for proving the Riemann hypothesis. Claude couldn’t pull that off, but it made significant progress on a related problem ...

Artificial intelligence has been inching toward genuine mathematical discovery for years, but a claim from OpenAI in early ...

OpenAI showed that AI can tackle long-standing problems in mathematics. Experts are excited about the possibilities — and worried about what comes next for their field.

How much ice is stored in the world's glaciers? And where exactly is it located? A new study led by Ca' Foscari University of ...

In his 1801 magnum opus Disquisitiones Arithmeticae, German mathematician Carl Friedrich Gauss wrote about a cyclical mystery ...

OpenAI’s Astra generates machine‑checkable proofs for ten decades‑old math problems, showing how verified AI can cut ...

Ten conundrums that stumped human mathematicians for years have been cracked by OpenAI's Astra model, continuing a hot streak ...

While more than 60 million people in the United States watched the FIFA World Cup final on July 19, an artificial intelligence model was hard at work solving—or technically, disproving—a decades-old ...

In May 2026, OpenAI released a new math result that sent shock waves throughout the world of mathematical research. A major unsolved problem called the "unit distance conjecture" had just been ...

For the second time in a week, a long-standing conjecture has been disproved by artificial intelligence, highlighting the advanced mathematical capabilities of ChatGPT and its ilk ...

PHILADELPHIA—Math’s most prestigious prizes were announced today at the International Congress of Mathematicians. Following a lively brass-band performance by the West Philadelphia Orchestra in a ...