OpenAI与Anthropic在数学领域取得突破，引发对“人类作为智能默认计量单位”的反思

OpenAI宣布其系统给出Navier–Stokes难题完整解答并提供Lean形式化证明，Anthropic的Claude在11天内完成费马大定理约1300万行证明的形式化。这些进展促使数学界重新审视以人类认知速度为基准的评价体系，揭示AI正在降低部分认知能力的稀缺性，迫使行业从单纯的能力比较转向对判断、选择及责任承担等更高阶价值的关注。