跳到正文
10月1日周四
9月27日周日
9月19日周六
9月13日周日
  1. 虎嗅46

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

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