Model
94d agoClaude Mythos Solves Erdős Unit-Distance Conjecture
Engineer Sholto Douglas reports that Claude Mythos solved the 1946 Erdős unit-distance conjecture over a single weekend. The model produced a "cute, simple proof" shortly after OpenAI tackled the same landmark problem. This rapid replication suggests a significant overhang of solvable mathematical mysteries.
The Signal
Practitioners should expect a surge in AI-driven formal proofs.