然后他摘下眼镜，揉了揉双眼，又把脸凑近屏幕盯着看了一会儿，然后蹙起眉头。

这是……

什么意思，“混沌”系统也会有跑飞的时候吗；也许会吧，但倘若这AI所言非虚，不，不可能，直觉上认定这是一次运行时异常，兰伯特的手指，却似乎是不受意识控制般的在键盘上敲击，下达指令，调出“混沌”数据库里的一条记录。

费马大定理，是的，用不着查询记录，兰伯特完全能确定，这种叙述平淡、证明起来却极繁难的定理，“混沌”的数据库里绝对没有相关记录。

作为“强人工智能二号机”，期望水准，一开始没有很明确。

但不论怎么想，这种程度的强AI，根本也还用不到什么“费马大定理之证明”之类的数据，何况这只是一台持续运行的项目验证机，并没有具体的科学研究、乃至生产实践任务，没有必要导入人类掌握的全部科学知识，否则代价太大。

但是现在，“混沌”却明明白白的在讲，其已经在数据库里保存了这么一条——

难道“强人工智能”、“二号机”，不知怎的已经强大到这种程度，居然“无师自通”一般的洞悉了安德鲁*怀尔斯的论文吗。

被这想法吓了一跳，思绪紊乱，莱斯利*兰伯特一边检查指令，一边才想起，假如，仅仅是假如，这世界上也有其他人证明过费马大定理，那么证明过程，手段，倒也未必得是怀尔斯之工作的重复。

但不管怎样，等到结果被FSCIM解析，呈现在屏幕上，兰伯特还是一下子愣住。

西历1497年4月3日，系统的时间戳在这一时刻，事实上，早在接到“尝试证明黎曼猜想”的指令之前若干天，代号“混沌”的强人工智能二号机，就已很平淡的，出于自身运作之需要，而完成了费马大定理的证明。

这一事实，即便在事后很久，叙述起来还是令人倍感震撼。

是因为“强AI”如此迅速、甚至自主行动，证明了一条困扰人类三百多年的数学猜想吗，也许是这样。

但更强烈的震撼，则来自于强AI给出的证明本身。

没有严密的逻辑论证，没有精妙的数论解析，甚至，完全不能称为一篇证明的东西，

当时，就是这样显示在屏幕上，令莱斯利*兰伯特，乃至方然目瞪口呆，继而脊背发寒的意识到，人类，与强人工智能之间，差异究竟会大到怎样的程度。

“MN0K199（费马大定理）成立性之判据

二维系统的x^2+y^2=r^2之定距模式，显然，仅能应用于二维，而无法直接延拓至更高维的情形。

MN0K199之表述，是上述现实态势的数学表达。

故MN0K199结论为‘真’。”