π作为可定义的无理数

《π作为可定义的无理数》是荣金珍毕业论文的核心前提——他试图用一个数学常数来探讨人工智能领域的一项重大问题。论文围绕着一种富有成效却尚未解决的张力展开。它从π被赋予的性质推演到复制人类智能的局限，但其更大的主张依赖于接受一个论文并未确立的关于π的假设。

论文及其背景

荣金珍的论文探讨了一个远远超出他课堂所学范围的课题；据叙述，这个课题更适合作为硕士论文。他的论文题目是《可定义却为无理数的常数π》。这项研究部分源自荣金珍在阁楼里阅读的书籍，将一个极具雄心的数学问题带入了他的大学学业。

这一选题也诞生于政治敏感的环境中。在以苏联为首的一些共产主义国家，格奥尔格·魏因纳赫理论的有效性遭到否定；每当讨论他的研究时，往往都会受到批评。当时，其他人都希望荣金珍放弃这个课题，小利利却成了他的导师，并鼓励他继续研究。小利利的支持为论文的发展提供了空间，却也成了后来关于论文究竟出自谁手的疑问的一部分。

从数学常数到人工智能

论文以π为出发点，将格奥尔格·魏因纳赫的二元理论发展为解决人工智能领域一项重大问题的设想。更为引人注目的一步，是将人类智能视作一个数学常数，视作一种永无终止的无理数。依照这一构想，智能并非一个能够被穷尽地捕捉并复制的既定量。

论证赋予“混乱”以核心地位。论文提出，人类智能包含一种无法定义的混乱因素——它无法被完全认知，因此也无法被复制。基于此，荣金珍认为，在现有条件下，人工系统可以接近人类智能，却无法将其完全复制。论文的意义，与其说在于声称机器能够达到高度近似，不如说在于指出一种理论认为根植于人类思维本身的局限。

叙述将这项研究的成就描述为大胆的推导，而非全新的结论。许多数学家，包括当代数学家，都认同人类智能无法被完全复制这一观点。荣金珍的独到之处，在于试图从关于π的二元性质的假设中推导出这一观点，并通过纯数学发展其后果。论文力图使这一主张成为可以证明的论断，而非停留在直觉层面。

证明、假设与不稳固的基础

论文的长处与弱点源自同一个出发点。荣金珍以将π视作常数为前提，构建了一连串推理。如果接受这一前提，作品便把从数学常数到人类智能理论的推演呈现为一种有力的转化——人工智能领域的难题，通过形式化的数学论证变得可以探讨。叙述将其效果比作以人的手捕捉无形的风。

但证明所能确立的，不能超出其起始假设所允许的范围。论文并未首先证明π确实是一个常数，因此其证明建立在一个在书中讨论中仍存疑问的基础上。叙述指出，这一问题早在数百年前便已提出，而按照书中的说法，至今仍未得到确证。尽管大多数数学家被描述为相信π是常数，但缺乏证明仍为不同意见留下了空间。与牛顿对万有引力的论述相比较，强调了广受接受的命题与已被证明到令所有人信服的命题之间的区别。

这一区别使论文的论证带有条件性。如果读者不接受π为常数这一前提，那么建立在其上的论证便会崩塌，论文也就无法自圆其说。如果接受这一前提，作品的大胆之处便显现出来——它将一个数学出发点转化为对人类智能不可化约的复杂性的论述。因此，论文既显得精妙，又显得脆弱；它的论述所及，超出了未经证明的基础能够稳妥支撑的范围。

创作、反响与作者归属

小利利对初稿的反应十分热烈。他赞赏其中敏锐而有逻辑的思维，却认为有些数学证明不必要地复杂。他修改论文，力求简化证明的表达并删去多余内容；有时，展开基本证明需要运用精妙直接的方法，而这些方法所展现的不只是数学知识。初稿长达两万个字符。经过两轮修改，定稿略超过一万个字符。

完成后的论文发表于《大众数学》，在中国数学界引起了不小的反响。然而，在一些读者看来，修改后的版本也带来了作者归属问题——作品质量显得过于圆熟，不像本科生的毕业论文，许多人怀疑荣金珍不可能独自完成全部内容。因此，原本旨在阐明证明的编辑工作，反倒使它所要呈现的成就变得模糊。

荣家小姐后来坚称，论文是荣金珍独立完成的。据她转述小利利告诉她的话，小利利推荐了几本参考书并撰写了引言，但没有参与任何数学内容的创作。在引言中，小利利把格奥尔格·魏因纳赫的理论描绘成科学研究中的一个恶魔，并将论文呈现为对这些理论的挑战。他的这一框架使这项研究不只是技术练习——它也试图反驳一种被视为在政治和思想上都危险的理论。

意义与后果

论文的价值仍悬于其雄心与未经证明的前提之间。如果π确实被确立为论证所要求的那种常数，那么论文提出的从纯数学通向人工智能局限的路径便具有了学术分量。在此之前，书中认为论文能否严格算作学术上的成功仍未确定——相较于证明其核心理论，这项研究更确切地展现了荣金珍的才智与胆识。

论文带来的个人后果同样具有两面性。它没有改变荣金珍的生活，却使他的作者身份与天才之名受到质疑，因为他与小利利的关系让这项圆熟的成果显得像是合作完成的。相比之下，这篇论文改变了小利利生命的最后几年。因此，在叙事中，这一概念既是一项雄心勃勃的思想构造，也是一份尚未完成的证明——其最引人入胜的主张，延伸到了它尚未牢固确立的基础之外。