Anthropic's Mythos Solves 80-Year Erdős Unit Distance Problem With 'Cute, Simple Proof' via Claude Code

r/singularity / The Decoder·high signal

Anthropic's frontier model Mythos, accessed through Claude Code, has independently solved the planar unit distance problem — an 80-year-old Erdős conjecture from 1946 — using a streamlined geometric approach that mathematicians describe as a 'cute, simple proof.' This follows OpenAI's GPT 5.5 solving the same problem first with a more complex algebraic number theory approach; Mythos achieved the same result without advanced analytic machinery. The convergence of competing frontier models independently solving the same open math problem via qualitatively different proof strategies marks a new capability threshold for AI mathematical reasoning.