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

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

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

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

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

For nearly 80 years, mathematicians have struggled to solve a classic geometry puzzle first posed by Paul Erdős in 1946: the ...

Want smarter insights in your inbox? Sign up for our weekly newsletters to get only what matters to enterprise AI, data, and security leaders. Subscribe Now A new artificial intelligence system ...

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

Google DeepMind said AlphaProof Nexus solved nine open Erdős problems using Lean-verified proofs. The claim has sharpened debate over hallucinations in AI maths and what counts as real progress ...

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