阿达民的表态，特别是，最后关于“判据”的一段话，凌莱斯利*兰伯特印象深刻。
这种印象，在走进会议室，面对那些对“强人工智能”之力表示质疑，进而怀疑这一项目价值的数学家时，变得愈发强烈。
如果说，在今天的对话前，他对数学家的诘问还有所保留；
那么，在聆听阿达民的断言后，对人工智能，乃至自己一手参与缔造的“强人工智能”，究竟可以达到怎样的高度，乃至具有当今时代一切人类个体、哪怕其总和，都无法具有的强大力量，他的信心更加坚定。
带着这样的想法，在一旁列席，莱斯利*兰伯特的心思根本不在讨论上。
说真的，对数学家们纠结的“证明之规范性”，他一点也不关注，身为IT领域的资深专家，兰伯特有理由认为，自己会比数学家更理解何为“强人工智能”。
不仅如此，对“强人工智能”的力量，身为一线研究者，感受当然也更深刻得多。
数学定理的证明，这种东西，对认识、分析、改造客观世界，究竟有多大用处，贵为“科学之父”的数学或许有话要讲。
但，并非所有数学，都具有改变世界的力量，这一点他也很清楚。