人工智能研究

解密

人工智能研究是荣金珍最雄心勃勃的数学工作围绕展开的领域——他将人类智能视为一种或许可以用数学描述的事物,同时认为,其中不可化约的混乱成分限制了机器能够复制的范围。这种方法的希望与脆弱性密不可分。它的结论大胆,却建立在一个关于π的前提之上,而这个前提仍未得到证明;尽管如此,这项工作仍促使小利利在N大学建立专门的研究组,也使扬·利谢维奇对金珍离开这一领域感到格外痛心。

一个领域与一个可能的机会

在圣诞前夜写给小利利的一封信中,扬·利谢维奇报告说,普林斯顿大学已将几个独立研究组整合为一所致力于人工智能的研究院,并由数学家保罗·萨缪尔森领导。利谢维奇认为,这一发展表明,人工智能研究的重要性正逐渐为他自己的圈子以外的人所认识。他希望当时已几乎完全康复的金珍,也能从事这一领域的研究。

这封信也在讨论这项工作可以在哪里开展。利谢维奇认为,如果金珍无法在中国从事人工智能研究,就应该能够前往条件更适合支持他的地方。他劝小利利不要让短期的困难或利益妨碍金珍发挥潜力,并引用了好剑不斩柴的谚语。这个比喻清楚地表达了他的主张——金珍的才能需要合适的条件,而不只是一个工作的地方。利谢维奇指出,普林斯顿大学具备相关设施,也能为金珍继续研究提供空间。

利谢维奇说,金珍仿佛是上帝派来研究这一课题的,但他的恳求并不只是表达对某个人的信任。他担心金珍可能缺乏在困境中坚持下去所需的环境与支持。因此,这封信将人工智能研究呈现为一个关乎学术可能性与物质条件的问题——一个非凡的想法仍需要能够支撑它的机构。

金珍的论文及其前提

金珍的毕业论文发展了魏因纳赫的二元理论,从数学常数π出发,试图将该理论转化为解决人工智能领域一个重大问题的纯数学方案。论文的核心主张是,可以将人类智能视为一个永不终止的数学常数和无理数。随后,论文借助魏因纳赫理论的第二部分,探讨创造人工智能的问题。

这一论证建立在可界定与无法完全认知之物的区别之上。金珍的论述将混乱视为人类智能中不可定义的成分——它标示出无法被完全认识、因而无法被复制的部分。基于此,他认为,在现有条件下,人工手段可以接近人类智能,却无法将其彻底复制。这个结论并非简单地否定机器智能,而是将复制能力的限度本身作为该领域必须面对的问题。

这篇论文的力量也正是它的弱点。其证明将π视为常数,但这一性质尚未得到确凿证明。如果这个假设不成立,建立在其上的结构也会随之崩塌;如果接受这一假设,论文对人工智能的影响则显得惊人。文中将这篇论文比作建在不确定地基上的城堡——即使数学构造令人信服,其出发点也未必牢靠。因此,它的价值仍有条件,而其大胆之处并未弥合根基上的证据缺口。

署名、反响与机构层面的结果

小利利认为初稿的思路敏锐而合乎逻辑,但有些证明写得过于复杂。他帮助简化了论述;经过修改,论文从两万个字缩减到一万多字。论文发表于《大众数学》,并在中国数学界引起关注。然而,使论证更加清晰的改进也加深了猜疑——一些读者难以相信,如此高深的成果竟是由一名本科生独立完成的。

在一次采访中,荣家小姐坚称论文是金珍自己写的。据她所述,小利利推荐了几本参考书并撰写了引言,但没有参与数学内容的写作。这一区别很重要,因为论文引发的反响可能掩盖它所展现的成就。文中认为,论文最初带来的成功,与其说改变了金珍的处境,不如说展现了他的聪慧与胆识;文中还指出,这项工作改变了小利利晚年的生活。

论文发表后不久,小利利前往北京,却没有说明目的。大约一个月后,中央方面作出决定,批准他辞去校长职务,拨款创立N大学计算机研究组,并由他负责组建该组。在面试了数名申请者后,他选中金珍作为首位招募对象。文中称,没有其他候选人达到金珍的水平,其余受聘者实际上都成了处理日常事务的助手。这种职责的集中使研究组拥有了非同寻常的专注方向,却也引来流言,称一所享誉国际的研究机构被荣家垄断。

离开这一领域与问题的再现

金珍没有继续从事人工智能研究。扬·利谢维奇返回C市时,由于中国与X国之间的政治敌意,他被禁止进入N大学,只能在严密监视下于一家旅馆与小利利会面。利谢维奇原本想见金珍;得知金珍已经离开大学、转而从事其他工作后,他震惊而愤怒。他称这一决定骇人听闻,并指出金珍的研究已达到国际水准,如果继续下去,还可能取得更大的突破。

文中并未将金珍后来从事的工作视为论文的延续。金珍的密码学工作走上了不同的道路,受到破译任务的要求所塑造——701部队将任务描述为分秒必争、寸寸必用,并将成功破译PURPLE密码体系之后的谨慎态度,与金珍未能在密钥为零的密钥为零的密钥为零的BLACK中找出错误的情形相对照。最终,金珍在认出密钥为零时破译了密钥为零的密钥为零的密钥为零的BLACK,这一突破与他的皮革公文包有关。这些经历并未建立密码学与人工智能之间的技术联系;相反,它们标示出扬·利谢维奇曾劝金珍投身的领域与后来占据他生活的工作之间的距离。

意义

在金珍的故事中,人工智能研究既是一个数学问题,也是一项机构事业,还是一条可能中断的道路。这篇论文探问,能否将智能形式化而不抹去使其具有人性的混乱成分;然而,它的答案仍悬于π尚未得到证明的性质之上。研究组为这个问题提供了实际的归属,并以金珍独一无二的才能为基础推动一项机构计划;与此同时,关于论文作者身份的疑虑以及围绕招募产生的流言,也使他获得的认可变得复杂。

扬·利谢维奇后来的抗议将故事带回最初的关键问题——不仅在于金珍的工作是否前景可期,也在于他是否能够继续这项工作。他的离去并未解决论文中的数学问题。人工智能可能存在的局限仍悬而未决,同时也留下一个同样未获解决的人生后果——这个本可能受益于金珍继续研究的领域,在叙事中反而成了衡量一次机会失落的尺度。