Research · The Decoder ·
Claude Mythos reportedly solves OpenAI's landmark Erdős problem with a "cute, simple proof"
Anthropic's Claude Mythos reportedly solved a long-standing mathematical problem disproven by OpenAI, using what engineers describe as a "cute, simple proof." This achievement highlights the growing role of AI in advancing mathematical research.