Model
95d agoClaude Mythos Solves Erdős Unit-Distance Conjecture
Anthropic's Claude Mythos solved the 1946 Erdős unit-distance conjecture over a single weekend. Engineer Sholto Douglas described the solution as a cute, simple proof. This follows a similar breakthrough by OpenAI.
The Signal
The rapid replication suggests a significant overhang of solvable mathematical problems awaiting AI-driven discovery, accelerating the pace of formal verification.