BenchmarkMay 26, 20261 min read
AI Model Claude Mythos Cracks OpenAI's Landmark Erdős Problem with Elegant Solution
Claude Mythos, a cutting-edge AI model, has successfully solved OpenAI's Erdős problem, a longstanding challenge in combinatorial geometry that has gone unsolved since 1946. This achievement demonstrates the significant potential of AI in driving mathematical discoveries and outpacing human capabilities.
Shortly after OpenAI disproved Erdős' unit-distance conjecture, Anthropic shows Claude Mythos can solve the problem too - "over the weekend." Engineer Sholto Douglas says Mythos cracked the 1946 conjecture with a "cute, simple proof," a sign of "serious overhang" in AI-driven math discoveries. The article Claude Mythos reportedly solves OpenAI's landmark Erdős problem with a "cute, simple proof" appeared first on The Decoder.