数学界正面临前所未有的“消化不良”危机：菲尔兹奖得主陶哲轩警告，AI几分钟就能生成博士级论文证明，导致数学从“证明稀缺”时代骤然进入“证明过剩”时代，人类数学家成为知识体系的最大瓶颈。
谷歌DeepMind发布AlphaProof Nexus，用进化算法与Lean编译器攻克9道数学难题，其中2道悬置56年。
