+- MKLab (https://mklab.gr)
+-- Forum: ΚΑΤΑΛΟΓΟΣ (INDEX) (https://mklab.gr/forumdisplay.php?fid=1)
+--- Forum: TEXNHTH NOHMOΣΥΝΗ (AI) (https://mklab.gr/forumdisplay.php?fid=5)
+---- Forum: ΑΡΘΡΑ (ARTICLES) (https://mklab.gr/forumdisplay.php?fid=33)
+---- Thread: AI cracked an Erdős math problem (/showthread.php?tid=296)
AI cracked an Erdős math problem - mklabgr - 06-12-2026
Summary
In May 2026, OpenAI revealed that a general-purpose reasoning model autonomously disproved Paul Erdős’s famous 80-year-old "unit distance problem" conjecture. By combining tools from algebra and number theory, the AI constructed a complex, counter-intuitive geometric layout that human mathematicians had long dismissed, proving the AI could actively uncover original mathematical truths.
While celebrated as a milestone, the breakthrough prompted researchers to issue the Leiden Declaration on Artificial Intelligence and Mathematics, calling for strict ethical guardrails. They highlighted serious concerns over AI hallucinations generating unverifiable multi-page "proofs," a lack of corporate transparency, the threat of cutting-edge math being locked behind corporate paywalls, and the reality that these models are commercialized for dual-use applications like warfare and mass surveillance.
ARTICLE PAGE