#Lean

标签为 #Lean 内容如下：

首页 Tag Archives: Lean
人类数学史上最难定理的“零错误”机器验证：费马大定理在 Lean 4 中完整形式化证明
人类数学史上最难定理的“零错误”机器验证：费马大定理在 Lean 4 中完整形式化证明
2个月前 87
用数学证明“流体爆炸”：OpenAI 发布首个 Navier-Stokes 与 Euler 方程奇点的 Lean 形式化验证库
用数学证明“流体爆炸”：OpenAI 发布首个 Navier-Stokes 与 Euler 方程奇点的 Lean 形式化验证库
2个月前 65
  • 19657575083 +

    访问总数

  • 28 +

    会员总数

  • 1425 +

    文章总数

  • 2 +

    今日发布

  • 40 +

    本周发布

  • 532 +

    运行天数

你的前景，远超我们想象
免费注册