OpenAI has revealed a breakthrough proof that overturns a nearly 80-year-old geometry conjecture posed by Paul Erdős.

On May 20, OpenAI said an internal reasoning model had produced a counterexample to Paul Erdős’s 1946 unit distance ...

The sudden resolution of a well-known conjecture highlights the growing adoption of AI as an assistant in high-level ...

It’s an educated guess, not a proof. But a good conjecture will guide math forward, pointing the way into the mathematical unknown. Mountain climbing is a beloved metaphor for mathematical research.

Monstrous moonshine, a quirky pattern of the monster group in theoretical math, has a shadow - umbral moonshine. Mathematicians have now proved this insight, known as the Umbral Moonshine Conjecture, ...

Fermat’s last theorem is just one of many examples of innocent-looking problems that can long stymie even the most astute mathematicians. It took about 350 years to prove Fermat’s scribbled conjecture ...

They made some progress, re-proving the conjecture in two dimensions using different techniques—ones they hoped would be applicable to the three-dimensional case. But then they hit a wall. “At some ...