一位英国数学家宣布，即将启动用Lean重现费马大定理证明过程的项目，将100页证明变成代码。费马大定理或即将被AI攻克，而且整件事最意味深长的地方在于，AI即将解决的费马大定理，正是为了证明AI无用。（新智元）
扫码打开当前页
-
￥優惠使用時效：无法使用使用時效：
之前
使用時效：预期有效优惠编号：×
一位英国数学家宣布，即将启动用Lean重现费马大定理证明过程的项目，将100页证明变成代码。费马大定理或即将被AI攻克，而且整件事最意味深长的地方在于，AI即将解决的费马大定理，正是为了证明AI无用。（新智元）
扫码打开当前页
之前