Model
94d agoClaude Mythos Solves Erdős Unit-Distance Conjecture
Anthropic's Claude Mythos solved the 1946 Erdős unit-distance conjecture using a "cute, simple proof." This follows a similar breakthrough by OpenAI. Engineer Sholto Douglas suggests this indicates a significant overhang in AI-driven mathematical discoveries.
The Signal
The result proves that advanced LLMs can now independently derive rigorous proofs for long-standing academic problems.