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

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 .