01
AI出的证明太多，也未必全是好事……数学界已经快读不过来了。
不过好消息是——
面对这场危机，两代菲尔兹奖得主，陶哲轩与王虹给出了几乎相同的判断：
消化。
北大数院最近释出了一篇王虹的万字专访长文，她给出了相当中肯的建议：
数学界不能忽略AI产生的反例或证明，我们需要去学习使用，也需要理解、消化。
陶哲轩则花了好几天时间，把一份由AI参与完成的证明，从头到尾消化了个遍。
这份证明解决的，正是悬置67年之久的森多夫猜想。
这听着多少有点反常识。既然AI是来帮数学家解题的，答案都出来了，为什么还要再消化一次？
0
评论 (0)