Anthropic's Claude Mythos has reportedly solved the decades-old Erdős problem with a 'cute, simple proof'.

The AI model found a solution over a weekend, showcasing the enormous potential of AI in mathematical research.

AI-generated: summaries written by AI from the linked sources. How we use AI