9 个悬置几十年的 Erdős 问题被 AI 自主解掉——这次 DeepMind 没扔 GitHub，而是登上了 Science_DeepMind_Petrichor゜