“AI的问题”：让AI证明数学猜想是没有意义的

武汉理工大学：刘永红

原本“证明数学猜想”是一件非常有意义的事情。然而，如果把“证明数学猜想”的意义寄托在AI上是没有意义的，因为AI变成了一个陷阱，困死了数学家的想象力与创造力。这就是“AI的问题”。

可是，有的数学家让AI帮他思考难题，这表面上看是合理的，其实，他控制AI来换自由。结果是，控制越多，他越被捆绑，这不就是自己制定游戏规则，然后选择自噬吗？

其实，他与AI都是孤独者，只不过前者是枯槁的孤独，而后者是丰富的孤独。他用AI承担来提供他对数学猜想的“贡献”，如果是这样的论文，让我来评审，我的行动是把它关进“小黑屋”。我是两家国际数学期刊编委，并且是许多国际数学期刊的评审人，因此我有资格评审；反观，你凭什么让我必须评审你的AI者论文？

要知道，“AI的问题”自带“毒钩子”。姜太公高兴地说，若上钩，则挂起。

总之，我的理性决判力，是为了“证明数学猜想”的意义，更是为了科学的意义，目的在于推动AI时代的进步。