断网解题，Claude Mythos推翻Erdős 80年猜想！比OpenAI更短更漂亮