上周AI界上演“神仙打架”：OpenAI、DeepMind、Anthropic三家在一周内各自用AI推翻了困扰数学家80年的Erdős单位距离猜想。其中Anthropic的Claude Mythos在断网隔离下，找到了一条比OpenAI更短更优雅的证明路径，还在第一个可行解前紧张得停手——让数学家们直呼“我懂你”。三年前GPT-4还做不了本科数学题，如今这些顶级难题正在变成AI的入学考试。