第五十四章 验证世界的虚实
傍晚，食堂里人声鼎沸。
陆晨端著餐盘，在角落找到了正在小口喝汤的许清如。
她面前摊开一本厚重的数学专著，边看边吃，完全沉浸其中。
“这儿有人吗？”陆晨坐下。
许清如抬起头，看到是他，眼睛弯了弯：“没人，坐。”
她把书往旁边挪了挪，目光却还粘在那些复杂的公式上。
陆晨没什么胃口，机械地往嘴里扒著饭。
掛在食堂墙壁上的液晶电视正在播放新闻，画面切换，出现了一张熟悉的面孔，
那位以张扬个性、顛覆性言论和惊人財富闻名於世的世界首富：马尔斯。
正在接受採访，他挥舞著手臂，眼神锐利，谈论著火星殖民和人工智慧的未来。
陆晨瞥了一眼屏幕，思绪却飘回了那张冰冷的卡片上。
纽约，盛宴，见证歷史。
特別是“救世主”的称呼，在脑海里反覆浮现。
他机械地往嘴里送著米饭，食不知味。
“喂，陆晨？”许清如的手在他眼前晃了晃，
“发什么呆呢？饭都不香了？”
她看看陆晨几乎没动的餐盘，又看看他明显不在状態的眼神，有点担心，
陆晨回过神，勉强扯了扯嘴角：“没事。”
犹豫了一下，放下筷子，看著许清如那双清澈又充满好奇的眼睛，忽然很想听听她的看法。
“清如，问你个问题。”
“嗯？说。”许清如也放下筷子，拿起旁边的果汁吸了一口。
“假如，我是说假如，”陆晨斟酌著词句，
“我们生活的这个世界，其实是个虚擬世界，我们所有人的意识都被上传到了一个超级计算机里，身体其实泡在营养液里。有什么办法能证明或者证偽这件事吗？”
许清如刚吸进嘴里的果汁差点喷出来。
她瞪大眼睛，像看怪物一样看著陆晨，好半天才咽下果汁，表情古怪：
“陆晨同学，你最近是不是科幻小说看多了？还是被那个拓扑结构搞魔怔了？”
“你就当我是突发奇想。”陆晨有些无奈，
“纯理论探討，从数学和物理的角度，有没有什么思路？”
许清如歪著头，盯著他看了几秒，確定他不是在开玩笑后，脸上的玩笑神色渐渐收敛，取而代之的是一种进入思考状態的专业表情。
她用手指无意识地在沾了点水渍的桌面上划拉著，慢吞吞地说：
“理论上，如果这个世界真是虚擬的，那运行它的计算机总有算力上限。再强大的系统，处理无限精度的计算都会吃力。”
“所以呢？”陆晨追问。
“所以，我们或许可以尝试设计一些实验进行『压力测试』，去『试探』这个系统的算力极限，或者寻找它在处理某些极端复杂、耗算力的问题时，可能出现的『偷懒』跡象。”许清如越说越兴奋，仿佛在討论一个有趣的数学谜题，
“比如，用两台不同架构的超级计算机，最好是设计原理完全不一样的。一台用经典的丘德诺夫斯基公式计算，另一台用bbp公式，同时开足马力，疯狂计算π的值，一直算下去，算到十亿位，百亿位，甚至更多。”
她放下筷子，用手指在桌面上虚画著解释：
“在真实的物理世界里，π是个確定的常数，不管用什么机器算，结果都应该一模一样，每一位都对得上。但如果是虚擬世界。。。”
她顿了顿，压低了声音，像在分享一个秘密：
“虚擬世界的『物理规则』其实是程序模擬的。如果系统的算力被分区管理，或者底层的数学处理器用了什么近似算法、缓存机制，那两台计算机算出来的π，可能在某个极其遥远的位数，比如第十亿位之后，开始出现偏差。”
许清如越说越兴奋，手指在空气中比划：
“可能是一位的差异，可能是一段数字开始循环重复，也可能干脆算不下去了。这就是证据，『世界算力有限』的证据。因为真实的宇宙不会偷懒，但程序会。”
陆晨静静听著，心中的某个部分逐渐清晰起来。
超级计算机，π的计算，偏差。。。
“不过，”许清如耸耸肩，恢復了平常的语气，
“这也就是理论上说说。先不说怎么弄到两台超算，光是让它们全力算π算到那种位数，耗的电费就是天文数字，除非。。。”
她指了指屏幕上的马尔斯，语气调侃：“除非你能像他一样有钱，买两台顶级超算，专门算π玩。”
陆晨却顺著她的手指，看向屏幕里的马尔斯。
那位首富先生正对著镜头，用一种极具感染力的语气说道：“人类需要成为跨行星物种，这是文明生存的保险。而想要实现这一点，人工智慧的辅助是必不可少的。”
“像他一样有钱可能做不到，”陆晨轻声说，眼神深邃，“但让他出钱，说不定可以。”
“哈？”许清如瞪大眼睛，“陆晨你今天真的没事吧？人家是世界首富，凭什么给你出钱验证世界是不是虚擬的？这听起来像精神病院跑出来的点子。”
“说不定我们会一见如故，他抢著要给我出钱呢？”陆晨扯出一个笑容，那笑容里有些许清如看不懂的东西。
许清如翻了个白眼：“行行行，你厉害。等你跟世界首富称兄道弟了，记得让他也给我投点经费，我也想要个自己的独立实验室。”她只当陆晨是在开玩笑。
但陆晨心里，一个决定已经悄然成型。
他要去美国。
不仅仅是因为那封神秘的邀请函，不仅仅是为了验证世界的虚实。
更因为，如果凯文所说的“一切才刚刚开始”是真的，那么躲在学校里，被动等待，绝不是办法。
他需要主动出击，需要了解更多。
“放心吧，”陆晨对许清如说，语气里带上了一丝她未曾察觉的认真，“我们会一见如故的。”
窗外的阳光正好，食堂里人声鼎沸，电视里首富的演讲还在继续。
一切都看似平常。
但陆晨知道，有些旅程，一旦开始，就无法回头了。
。。。
ps：求一下票，月票，推荐票，谢谢。
陆晨端著餐盘，在角落找到了正在小口喝汤的许清如。
她面前摊开一本厚重的数学专著，边看边吃，完全沉浸其中。
“这儿有人吗？”陆晨坐下。
许清如抬起头，看到是他，眼睛弯了弯：“没人，坐。”
她把书往旁边挪了挪，目光却还粘在那些复杂的公式上。
陆晨没什么胃口，机械地往嘴里扒著饭。
掛在食堂墙壁上的液晶电视正在播放新闻，画面切换，出现了一张熟悉的面孔，
那位以张扬个性、顛覆性言论和惊人財富闻名於世的世界首富：马尔斯。
正在接受採访，他挥舞著手臂，眼神锐利，谈论著火星殖民和人工智慧的未来。
陆晨瞥了一眼屏幕，思绪却飘回了那张冰冷的卡片上。
纽约，盛宴，见证歷史。
特別是“救世主”的称呼，在脑海里反覆浮现。
他机械地往嘴里送著米饭，食不知味。
“喂，陆晨？”许清如的手在他眼前晃了晃，
“发什么呆呢？饭都不香了？”
她看看陆晨几乎没动的餐盘，又看看他明显不在状態的眼神，有点担心，
陆晨回过神，勉强扯了扯嘴角：“没事。”
犹豫了一下，放下筷子，看著许清如那双清澈又充满好奇的眼睛，忽然很想听听她的看法。
“清如，问你个问题。”
“嗯？说。”许清如也放下筷子，拿起旁边的果汁吸了一口。
“假如，我是说假如，”陆晨斟酌著词句，
“我们生活的这个世界，其实是个虚擬世界，我们所有人的意识都被上传到了一个超级计算机里，身体其实泡在营养液里。有什么办法能证明或者证偽这件事吗？”
许清如刚吸进嘴里的果汁差点喷出来。
她瞪大眼睛，像看怪物一样看著陆晨，好半天才咽下果汁，表情古怪：
“陆晨同学，你最近是不是科幻小说看多了？还是被那个拓扑结构搞魔怔了？”
“你就当我是突发奇想。”陆晨有些无奈，
“纯理论探討，从数学和物理的角度，有没有什么思路？”
许清如歪著头，盯著他看了几秒，確定他不是在开玩笑后，脸上的玩笑神色渐渐收敛，取而代之的是一种进入思考状態的专业表情。
她用手指无意识地在沾了点水渍的桌面上划拉著，慢吞吞地说：
“理论上，如果这个世界真是虚擬的，那运行它的计算机总有算力上限。再强大的系统，处理无限精度的计算都会吃力。”
“所以呢？”陆晨追问。
“所以，我们或许可以尝试设计一些实验进行『压力测试』，去『试探』这个系统的算力极限，或者寻找它在处理某些极端复杂、耗算力的问题时，可能出现的『偷懒』跡象。”许清如越说越兴奋，仿佛在討论一个有趣的数学谜题，
“比如，用两台不同架构的超级计算机，最好是设计原理完全不一样的。一台用经典的丘德诺夫斯基公式计算，另一台用bbp公式，同时开足马力，疯狂计算π的值，一直算下去，算到十亿位，百亿位，甚至更多。”
她放下筷子，用手指在桌面上虚画著解释：
“在真实的物理世界里，π是个確定的常数，不管用什么机器算，结果都应该一模一样，每一位都对得上。但如果是虚擬世界。。。”
她顿了顿，压低了声音，像在分享一个秘密：
“虚擬世界的『物理规则』其实是程序模擬的。如果系统的算力被分区管理，或者底层的数学处理器用了什么近似算法、缓存机制，那两台计算机算出来的π，可能在某个极其遥远的位数，比如第十亿位之后，开始出现偏差。”
许清如越说越兴奋，手指在空气中比划：
“可能是一位的差异，可能是一段数字开始循环重复，也可能干脆算不下去了。这就是证据，『世界算力有限』的证据。因为真实的宇宙不会偷懒，但程序会。”
陆晨静静听著，心中的某个部分逐渐清晰起来。
超级计算机，π的计算，偏差。。。
“不过，”许清如耸耸肩，恢復了平常的语气，
“这也就是理论上说说。先不说怎么弄到两台超算，光是让它们全力算π算到那种位数，耗的电费就是天文数字，除非。。。”
她指了指屏幕上的马尔斯，语气调侃：“除非你能像他一样有钱，买两台顶级超算，专门算π玩。”
陆晨却顺著她的手指，看向屏幕里的马尔斯。
那位首富先生正对著镜头，用一种极具感染力的语气说道：“人类需要成为跨行星物种，这是文明生存的保险。而想要实现这一点，人工智慧的辅助是必不可少的。”
“像他一样有钱可能做不到，”陆晨轻声说，眼神深邃，“但让他出钱，说不定可以。”
“哈？”许清如瞪大眼睛，“陆晨你今天真的没事吧？人家是世界首富，凭什么给你出钱验证世界是不是虚擬的？这听起来像精神病院跑出来的点子。”
“说不定我们会一见如故，他抢著要给我出钱呢？”陆晨扯出一个笑容，那笑容里有些许清如看不懂的东西。
许清如翻了个白眼：“行行行，你厉害。等你跟世界首富称兄道弟了，记得让他也给我投点经费，我也想要个自己的独立实验室。”她只当陆晨是在开玩笑。
但陆晨心里，一个决定已经悄然成型。
他要去美国。
不仅仅是因为那封神秘的邀请函，不仅仅是为了验证世界的虚实。
更因为，如果凯文所说的“一切才刚刚开始”是真的，那么躲在学校里，被动等待，绝不是办法。
他需要主动出击，需要了解更多。
“放心吧，”陆晨对许清如说，语气里带上了一丝她未曾察觉的认真，“我们会一见如故的。”
窗外的阳光正好，食堂里人声鼎沸，电视里首富的演讲还在继续。
一切都看似平常。
但陆晨知道，有些旅程，一旦开始，就无法回头了。
。。。
ps：求一下票，月票，推荐票，谢谢。