Anthropic's Claude Mythos has reportedly solved the Erdős unit-distance conjecture, a problem that OpenAI recently disproved, showcasing the potential of AI in mathematical discoveries. This development suggests a significant advancement in AI capabilities, particularly in solving complex mathematical problems.