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