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. The model produced a "cute, simple proof" shortly after OpenAI disproved the same problem. This rapid replication suggests a significant overhang of unsolved mathematical discoveries.
The Signal
Practitioners should expect a surge in AI-driven proofs for long-standing conjectures.