数学界正面临前所未有的“消化不良”危机：菲尔兹奖得主陶哲轩警告，AI几分钟就能生成博士级论文证明，导致数学从“证明稀缺”时代骤然进入“证明过剩”时代，人类数学家成为知识体系的最大瓶颈。
普林斯顿大学团队基于开源模型DeepSeek-V4-Flash开发的Goedel-Architect智能体框架，在形式化定理证明中实现500倍成本优势，以294美元完成此前需17万美元的评测，并在多项基准测试中刷新纪录。
