Reading up on AlphaProof Nexus

1 deep · digging since may 27

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