Featured image for article Claude Mythos solved Erdős problem