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

In three linesClaude Mythos solves Erdős' 1946 conjecture shortly after OpenAI disproved it. Engineer Sholto Douglas reports a "cute, simple proof" found "over the weekend," indicating "serious overhang" in AI-driven mathematical discoveries.

Summary generated by Claude — human-verified