erdős conjecture

The erdős conjecture tag follows coverage of a reported breakthrough involving OpenAI and a planar geometry problem posed by Paul Erdős in 1946. The featured discussion says an unreleased internal reasoning model produced a counterexample to the unit distance conjecture, a result that outside mathematicians, including Cambridge Fields medallist Timothy Gowers, reportedly considered strong enough for top-tier publication. The page focuses on the mathematical claim and its broader significance: whether a general-purpose AI system has moved beyond calculation and assistance toward producing new research-level mathematics. It also considers what such a development could mean for the relationship between AI tools and human mathematical discovery.