Claude Mythos reportedly solves OpenAI's landmark Erdős problem with a "cute, simple proof"

Anthropic announced that its AI model, Claude Mythos, has solved the Erdős unit distance conjecture, dating back to 1946. This announcement follows closely on the heels of OpenAI's similar achievement, marking significant progress in AI-driven mathematical discoveries. Engineer Sholt Douglas described the solution as a "cute, simple proof," indicating a "big impact" in the field. The Erdős conjecture, a topic of discussion for decades, concerns the distribution of points in space such that the distance between any two points does not exceed one unit.