RDLTR

Short for Read Later. Save links from any browser or phone. Click to save, read to clear. The full tour

One line. Many voicesSeek and you shall find

the-decoder.com faviconClaude Mythos reportedly solves OpenAI's landmark Erdős problem with a "cute, simple proof"

kept by

Anthropic's Claude Mythos solved the Erdős unit-distance conjecture with a 'cute, simple proof,' indicating 'serious overhang' in AI-driven math discoveries.