OpenAI says its models have produced mathematical proofs that challenge established theories in harmonic ...

This may sound like a familiar kind of riddle: How many brilliant mathematicians does it take to come up with and prove the Kelmans-Seymour Conjecture? But the answer is no joke, because arriving at ...

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

A mathematician working at Anthropic says he used the AI model Claude Fable 5 to uncover a remarkably simple counterexample to the Jacobian conjecture, a famous problem that has resisted ...

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...

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

The Collatz conjecture is also known as the “3n + 1” problem. It’s an easy problem to explain and check, and has been tested up into the nineteen figure range. But it’s only now that anyone has come ...