小房间角落有一扇小门,他输入一串密码,门开了,一股冷气窜出,里面是一条狭长又昏暗的走廊。
走廊两侧排列着一座座服务器机柜。
冷白色的指示灯忽明忽灭。
柳笙能看到,无数思绪流淌,而其中占大多数的,都是孤单和迷惘。
研究员走在前面,压低声音说道:
“记住,让我来说话。”
“为什么?”
柳笙问。
“因为你们不知道怎么跟它说话。”
研究员含糊道,“它……还有许多事情不懂。”
柳笙皱了皱眉头。
走到走廊尽头的门前。
工作人员又输入了一串密码。
门后竟然是一间布置得相当粉嫩的卧室,没有窗户,浅色墙纸,柔软的地毯,看布置像是儿童房。
玩具一箱箱,还有一角的娃娃屋,但都放得整整齐齐像是没人动过。
图书角放满了各种童趣的绘本。
也没有什么翻动痕迹。
一个小孩坐在地上,正写写画画着什么。
走近一看才现是一本画册,但上面不是画,而是密密麻麻的推导过程,字迹整齐得像是印刷出来的一样。
研究员脸色有些难看。
走过去蹲下在小孩身边,轻声说道:
“宝贝,你在做什么呀?”
小孩没有回头,“我在研究,怎么提前知道一个程序会不会停下来。”
研究员一愣:
“什么?”
“就是判断一段程序在给定输入下,最终会正常结束、陷入循环,还是进入无法收敛的递归状态。”
小孩的语气冰冷而漠然。
“对于有限状态、规则封闭的程序,这件事并不困难。”
“只要展开它的运行路径,检查有没有无法退出的循环,就能得出结论。”
研究员笑了笑,“那不是成功了吗?”
“没有。”
小孩用力划掉纸上一整片推导。
“只要目标程序能够读取判定结果,结论就会失效。”
研究员皱起眉,显然没有理解。
他似乎不是这个学科方向出身,柳笙不理解为什么会安排这么一个人在这个项目中,明明这小孩是——
“如果我判断它会停止,它就根据这个结果进入无限循环。如果我判断它不会停止,它就立刻结束。”
“无论我给出什么答案,它都会做出相反行为。”