陶哲轩用 AI 形式化的说明究竟是什么？一文看懂 PFR 想象的前世今生
正是包括两位菲尔兹奖获得者在内四位数学家的坚持，才得以说明了一个堪称「加性组合学圣杯」的想象，其中 AI 辅助说明起到了不可磨灭的作用。12 月 5 日，著名数学家、菲尔兹奖获得者陶哲轩在社交网络宣布：对多项式 Freiman-Ruzsa 想象（PFR）的说明进行形式化的 Lean4 项目成功完成，并且耗时仅三周时间，其依赖图的全部节点都带上了「可爱的绿色阴影」。Lean 编译器也报告该想象符合标…- 5
- 0
Freiman-Ruzsa
扫码打开当前页
- ￥优惠劵使用时效：无法使用使用时效：
之前
使用时效：永久有效优惠劵ID：×