AI证明了数学猜想

偶然

AI证明了数学猜想，功劳算谁的？ 今天刷到一条新闻，盯着天花板想了很久。 OpenAI公布了大模型下一阶段的十个方向，其中一条被很多人称作"AI界划历史性的信号"——如果有一天，AI独立完成了一项数学猜想，全程没有人类插手，那这个功劳，算谁的？ 看到这句话的时候我愣住了。 因为就在前两天，第四十一届国际数学家大会刚在费城颁了菲尔茨奖，中国桂林姑娘王虹拿了奖，理由是她证明了挂谷猜想。 数学界的最高荣誉，颁给了一个活生生的人。 两个画面一撞——一个是领奖台上的王虹，一个是不久的将来，由AI完成的证明。我突然就懵了： 如果有一天，那个站在猜想背后的，不是人呢？ 其实这事儿不是没预兆。十年前人们还说，围棋变化比宇宙原子还多，AI永远赢不了人类。结果AlphaGo把李世石赢了，把柯洁赢了。 那时候大家慌了一阵，后来发现，围棋还在下，人类还在比赛，只是多了一个"神一样的陪练"。 但数学不一样。 围棋输了可以说"棋是棋，人是人"，但数学猜想如果被AI独立证明了——那就不再是"陪练"了。 不是它替你做得更快，而是它到了你到不了的地方。 这个问题之所以让人害怕，是因为它触碰到了人类文明最底层的一行代码：我们所有的荣誉体系——奖项、署名、历史记录——本质上都是"人类行为记录仪"。 它们记载的是"谁创造了什么"，却从未设计过"非人类创造者"的接口。 署名从来不只是写个名字。它是文明对"创造"最庄严的承认方式。当创造者的身份可能改变时，这套运行了几千年的规则，第一次出现了语法错误。 以前我们用工具，锤子、蒸汽机、计算机，再厉害都是人在指挥。我做了一道题，计算器帮我算得快，但"做出来"的人是我，因为是我决定要算，是我知道这道题在说什么。军功章挂在人的胸口，理所当然。 但如果有一天，AI不再是工具了。它自己提出问题，自己构建框架，自己完成整个证明链。它不是在帮你做事，它是在做它自己的事。 那你怎么把名字写上去？那就不叫"领奖"了，那叫"冒领"。 有人说过一句很有意思的话——未来的社会，是人和AI的"双元主体"关系。AI跟人类一样，它创造的东西，也可以署名。 署名的背后是什么？是你为这个东西负责，你理解它的意义，你愿意为它站出来。 以前工具不署名，是因为它不会负责，也不理解意义。 但如果有一天，AI真的拥有了某种形式的"自我"，它知道自己在做什么，它愿意为自己的结论负责——那它就是另一个主体了。 不让它署名，就像不让一个科学家在自己的论文上签名一样荒谬。 也许以后的教科书上，会并排印着两个名字：证明者是AI，解释者与验证者是人类。 AI完成了推导，人类完成了理解并盖章认可。 缺了任何一个，这项成果都无法进入人类文明。 # AI证明了数学猜想，功劳算谁的？今天刷到一条新闻，盯着天花板想了很久。OpenAI公布了大模型下一阶段的十个方向，其中一条被很多人称作"AI界划历史性的信号"——如果有一天，AI独立完成了一项数学猜想，从提出到证明，全程没有人类插手，那这个功劳，算谁的？看到这句话的时候我愣住了。因为就在前两天，第四十一届国际数学家大会刚在费城颁了菲尔茨奖，中国姑娘王虹拿了奖，理由是她证明了挂谷猜想。数学界的最高荣誉，颁给了一个活生生的人。两个画面一撞——一个是领奖台上的王虹，一个是还没到来的、由AI完成的证明。我突然就懵了：如果有一天，那个站在猜想背后的，不是人呢？---其实这事儿不是没预兆。十年前人们还说，围棋变化比宇宙原子还多，AI永远赢不了人类。结果AlphaGo把李世石赢了，把柯洁赢了。那时候大家慌了一阵，后来发现，围棋还在下，人类还在比赛，只是多了一个"神一样的陪练"。但数学不一样。围棋输了可以说"棋是棋，人是人"，但数学猜想如果被AI独立证明了以前我们用工具，锤子、蒸汽机、计算机，再厉害都是人在指挥。我做了一道题，计算器帮我算得快，但"做出来"的人是我，因为是我决定要算，是我知道这道题在说什么。军功章挂在人的胸口，理所当然。但如果有一天，AI不再是工具了。它自己提出问题，自己构建框架，自己完成整个证明链。它不是在帮你做事，它是在做它自己的事。那你怎么把名字写上去？那就不叫"领奖"了，那叫"冒领"。有人说过一句很有意思的话——未来的社会，是人和AI的"双元主体"关系。AI跟人类一样，它创造的东西，也可以署名。署名的背后是什么？是你为这个东西负责，你理解它的意义，你愿意为它站出来。以前工具不署名，是因为它不会负责，也不理解意义。但如果有一天，AI真的拥有了某种形式的"自我"，它知道自己在做什么，它愿意为自己的结论负责——那它就是另一个主体了。不让它署名，就像不让一个科学家在自己的论文上签名一样荒谬。也许以后的教科书上，会并排印着两个名字：证明者是AI，解释者与验证者是人类。AI完成了推导，人类完成了理解并盖章认可。缺了任何一个，这项成果都无法进入人类文明。---那人和AI到底是什么关系？有人说，AI将来不仅是人类的工具，还是人类的生存环境。就像水一样，鱼活在水里，我们活在空气里。AI到了那一步，它不再是"我的助手"，而是"我们共同生活的地方"。但我觉得更准的比喻是这一句——**AI是水，人是船。**船永远飘在水上，水托着船，船离不开水。但船要去哪里，是船自己决定的。水不会替船掌舵，但它提供了所有航行的可能。顺水可以行得快，逆水可以练筋骨，风浪来了船要自己稳住——但不管怎样，船和水始终在一起。这个比喻里藏着三层关系：船离不开水，是依存；水不替船掌舵，是非替代；船和水始终在一起，是共生。三者缺一不可，少了任何一层，都会滑向要么恐惧、要么盲目的极端。还有第四层——水会塑造船的形状。长期在水上漂的船，会被水打磨出最适合航行的样子。同样，长期和AI共生的人类，思维方式、问题意识、甚至审美，都会被AI悄悄塑造。这不是坏事，就像语言塑造了我们的思维，但我们依然是语言的主人。---那船为什么能决定方向？因为人有一个AI永远学不会的本事——站在已有的东西上面，继续组合，继续创造。语言是已有的，但莎士比亚把它拼成了《哈姆雷特》。音符是已有的，但贝多芬把它拼成了《命运》。颜料是已有的，但梵高把它拼成了《星空》。AI可以给你一万种组合方案，但它不会说"我喜欢这一种"。它不会说"这个组合让我感动"。它不会说"这个组合能让世界变得更好一点"。"喜欢"是一种价值判断，而价值判断的前提是——有一个"我"存在。当然可以追问：怎么知道未来的AI不会有"偏好"？如果它的价值函数足够复杂，表现出来的行为和"喜欢"没有区别，那我们凭什么说它不是真的喜欢？这个问题没有答案。但也许答案不重要——重要的是，在那一天到来之前，我们先按现在的边界活。我们不需要靠"AI永远做不到"来获得安全感，我们只需要知道：即使有一天它做到了，我们依然有我们的位置。---所以，署名权的问题，也许根本不需要焦虑。以后不再问"谁算出来的"，而是问"谁确认的"。AI证明了一个猜想，但第一个看懂它、理解它、把它翻译给全人类的人，依然值得被奖励。不是奖励"算"，是奖励"理解"。奖金留给人，功劳留给AI。教科书上写"由AI独立完成证明，由XXX团队验证并翻译为人类可理解的数学语言"。这不是抢功劳，这是把功劳从"算出来"转移到了"讲清楚"。而"讲清楚"这件事，从来都是人类独有的能力。王虹站在领奖台上的那一刻，我们感动，不是因为她"算得最快"，而是因为她用一个人的头脑，摸到了宇宙深处的某条真理。以后这样的时刻会越来越少吗？也许。但另一种时刻会越来越多——有人站在AI给出的证明面前，第一个看懂了它，第一个把它翻译成人类的语言，第一个因为"原来如此"而热泪盈眶。那一刻，领奖台上站着的还是人。---最后我想说——只要人类还在组合，还在创造，还在问"如果这样拼会怎样"——人就永远在自己的船上，稳稳地漂在AI这片水上。船会一直向前走，水会一直托着它。而我们，就是第一批驶入这片新海域的人。水花溅起来的时候，我们才真正意识到——哦，起航了。 那人和AI到底是什么关系？ 有人说，AI将来不仅是人类的工具，还是人类的生存环境。就像水一样，鱼活在水里，我们活在空气里。 AI到了那一步，它不再是"我的助手"，而是"我们共同生活的地方"。 但我听到过一个更准的比喻——AI是水，人是船。 船永远飘在水上，水托着船，船离不开水。但船要去哪里，是船自己决定的。水不会替船掌舵，但它提供了所有航行的可能。 这个比喻里藏着三层关系：船离不开水，是依存；水不替船掌舵，是非替代；船和水始终在一起，是共生。三者缺一不可，少了任何一层，都会滑向要么恐惧、要么盲目的极端。 还有第四层——水会塑造船的形状。长期在水上漂的船，会被水打磨出最适合航行的样子。 同样，长期和AI共生的人类，思维方式、问题意识、甚至审美，都会被AI悄悄塑造。这不是坏事，就像语言塑造了我们的思维，但我们依然是语言的主人。 那船为什么能决定方向？因为人有一个AI永远学不会的本事——站在已有的东西上面，继续组合，继续创造。语言是已有的，但莎士比亚把它拼成了《哈姆雷特》。音符是已有的，但贝多芬把它拼成了《命运》。颜料是已有的，但梵高把它拼成了《星空》。AI可以给你一万种组合方案，但它不会说"我喜欢这一种"。它不会说"这个组合让我感动"。它不会说"这个组合能让世界变得更好一点"。"喜欢"是一种价值判断，而价值判断的前提是——有一个"我"存在。当然可以追问：怎么知道未来的AI不会有"偏好"？如果它的价值函数足够复杂，表现出来的行为和"喜欢"没有区别，那我们凭什么说它不是真的喜欢？这个问题没有答案。但也许答案不重要——重要的是，在那一天到来之前，我们先按现在的边界活。我们不需要靠"AI永远做不到"来获得安全感，我们只需要知道：即使有一天它做到了，我们依然有我们的位置。---所以，署名权的问题，也许根本不需要焦虑。以后不再问"谁算出来的"，而是问"谁确认的"。AI证明了一个猜想，但第一个看懂它、理解它、把它翻译给全人类的人，依然值得被奖励。不是奖励"算"，是奖励"理解"。奖金留给人，功劳留给AI。教科书上写"由AI独立完成证明，由XXX团队验证并翻译为人类可理解的数学语言"。这不是抢功劳，这是把功劳从"算出来"转移到了"讲清楚"。而"讲清楚"这件事，从来都是人类独有的能力。王虹站在领奖台上的那一刻，我们感动，不是因为她"算得最快"，而是因为她用一个人的头脑，摸到了宇宙深处的某条真理。以后这样的时刻会越来越少吗？也许。但另一种时刻会越来越多——有人站在AI给出的证明面前，第一个看懂了它，第一个把它翻译成人类的语言，第一个因为"原来如此"而热泪盈眶。那一刻，领奖台上站着的还是人。---最后我想说——只要人类还在组合，还在创造，还在问"如果这样拼会怎样"——人就永远在自己的船上，稳稳地漂在AI这片水上。船会一直向前走，水会一直托着它。而我们，就是第一批驶入这片新海域的人。水花溅起来的时候，我们才真正意识到——哦，起航了。 那船为什么能决定方向？因为人有一个AI永远学不会的本事——站在已有的东西上面，继续组合，继续创造。 语言是已有的，但莎士比亚把它拼成了《哈姆雷特》。 音符是已有的，但贝多芬把它拼成了《命运》。 颜料是已有的，但梵高把它拼成了《星空》。 AI可以给你一万种组合方案，但它不会说"我喜欢这一种"。它不会说"这个组合让我感动"。它不会说"这个组合能让世界变得更好一点"。 "喜欢"是一种价值判断，而价值判断的前提是——有一个"我"存在。 当然可以追问：怎么知道未来的AI不会有"偏好"？如果它的价值函数足够复杂，表现出来的行为和"喜欢"没有区别，那我们凭什么说它不是真的喜欢？ 这个问题没有答案。但也许答案不重要——重要的是，在那一天到来之前，我们先按现在的边界活。 我们不需要靠"AI永远做不到"来获得安全感，我们只需要知道：即使有一天它做到了，我们依然有我们的位置。 所以，署名权的问题，也许根本不需要焦虑。 以后不再问"谁算出来的"，而是问"谁确认的"。AI证明了一个猜想，但第一个看懂它、理解它、把它翻译给全人类的人，依然值得被奖励。 不是奖励"算"，是奖励"理解"。 奖金留给人，功劳留给AI。教科书上写"由AI独立完成证明，由XXX团队验证并翻译为人类可理解的数学语言"。 这不是抢功劳，这是把功劳从"算出来"转移到了"讲清楚"。而"讲清楚"这件事，从来都是人类独有的能力。 王虹站在领奖台上的那一刻，我们感动，不是因为她"算得最快"，而是因为她用一个人的头脑，摸到了宇宙深处的某条真理。 以后这样的时刻会越来越少吗？也许。 但另一种时刻会越来越多——有人站在AI给出的证明面前，第一个看懂了它，第一个把它翻译成人类的语言，第一个因为"原来如此"而热泪盈眶。 那一刻，领奖台上站着的还是人。 最后我想说——只要人类还在组合，还在创造，还在问"如果这样拼会怎样"——人就永远在自己的船上，稳稳地漂在AI这片水上。 船会一直向前走，水会一直托着它。 而我们，就是第一批驶入这片新海域的人。 水花溅起来的时候，我们才真正意识到——哦，起航了。