陶哲轩的First Proof第二轮评测结果出炉：10道研究级数学难题中，AI解出7道达到发表标准的答案，最低成本仅8美元/题。其中一套AI系统还给出了人类从未想到的原创解法。不过陶哲轩认为整体表现未达预期，第三轮已安排上。

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