Claude Mythos reportedly replicates OpenAI's Erdős geometry proof
anthropic's claude mythos model reportedly solved openai's recently disproved erdős unit-distance conjecture using a distinct, simple proof method.
anthropic engineer sholto douglas reported that claude mythos has solved openai's landmark erdős unit-distance conjecture, achieving a result openai only recently accomplished. the system utilized isolated claude code instances to develop and aggregate solution paths, finding both a novel 'cute, simple proof' and openai's existing solution. mathematician daniel litt assessed the result as slightly less optimal than openai's, but noted the independent discovery of the alternative path remains significant. this reinforces the 'serious overhang' in ai capabilities for advanced reasoning.