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 rapid replication suggests a significant overhang of solvable mathematical problems awaiting AI-driven discovery, accelerating the pace of formal verification.