OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who ...

The puzzle poses a deceptively simple question that boils down to: How many pairs of dots on a piece of paper can be the same ...

A chatbot’s result for the 80-year-old “unit distance” conjecture is the first AI proof that would likely be published in ...

Google DeepMind said AlphaProof Nexus solved nine open Erdős problems using Lean-verified proofs. The claim has sharpened ...

A brainy riddle that's stumped mathematicians since World War II appears to have been cracked via artificial intelligence.

Company says work on Paul Erdős planar unit distance problem shows advance in AI reasoning ...

OpenAI says an AI reasoning model disproved an 80-year-old Erdős geometry conjecture, raising new questions about AI’s role ...

OpenAI has said that one of its unreleased AI reasoning models has solved a long-standing mathematics problem first proposed ...

UCLA mathematician Terence Tao, who reviewed the result, said that ChatGPT used a completely different method to solve the problem. It used a formula that was well known, but which no one had thought ...

Then it’s kind of a mystery to try to figure out why and how they’re related.” The Riemann hypothesis has proved to be a font ...

Google DeepMind's AlphaProof Nexus solved nine longstanding Erdős problems with Lean-verified proofs, sparking debates about AI progress and its limitations.