中国科学院官网对王湘浩先生的介绍如下：网址https://casad.cas.cn/ysxx2022/ygys/200906/t20090624_1809697.html，代数学、计算机科学家。1915年5月5日生于河北安平。1937年毕业于北京大学。1949年获美国普林斯顿大学哲学博士学位。1955年被选聘为中国科学院学部委员(院士)。1993年5月4日逝世。曾任北京大学教授，吉林大学教授。1952年开创吉林大学数学系，任首届系主任。1976年开创吉林大学计算机科学系，任首届系主任。主要从事代数数论和赋值论、人工智能学等方面的研究并取得多项重要成果。1948年留美博士论文中，纠正了Grunwald定理的错误，对该定理作了推广并给出该定理成立的充要条件，重新证明了Dickson猜想。与此同时，证明代数数域上单纯代数换位子群与其幺模子群相等。20世纪50年代在数学系工作中，大力促进应用数学领域的发展，以适应国家的人才需求。60年代初，提出利用“保n项关系”的方法解决了多值逻辑中函数集的完备性问题。在定理机器证明和计算机代数方面，推广了归结原理，并推广改进了Vincent定理。

图1：王湘浩

1949年，王湘浩获得普林斯顿大学博士学位。其博士论文题目为：On Grunwald's Theorem(关于格伦瓦尔德定理)，论文全文：王湘浩博士论文.pdf。此文收录在科睿唯安的ProQuest Dissertations & Theses Global (ProQuest全球博硕论文数据库)中，数据库中此文链接为：https://www.proquest.com/docview/301826840。这篇博士论文之前的一个故事是：王湘浩找到了Grunwald's Theorem(格伦瓦尔德定理)的一个反例，就是推翻了。此反例作为一篇论文发表在1948年的《数学年鉴》(没错，就是数学界大名鼎鼎的Annals of Mathematics)上，DOI：10.2307/1969410，一页多点。此博士论文也于1950年在《数学年鉴》上发表，DOI：10.2307/1969335。此博士论文本身也很短，满打满算二十八页，甚至被誉为最短的数学博士论文(我没有能力系统研究核实是否最短这一点)。文章也很霸气，上来就说发现了反例，然后再说本研究给出了充分必要条件，再推广到更广泛的情形(文意如此，内容真心看不懂，请谅)。此前不理解，1955年那批院士，不容易的，王先生凭什么年仅40岁就跻身其中？这篇博士论文前后的故事，大致可以表明，王先生的确年轻轻轻就已经才华横溢，是有真本事的！多聊几句，关于博士论文限制字数。真心说，真有好成果的，限制字数就显得特别幼稚。当然，没有好成果，有个字数，做点系统梳理，没有功劳也有苦劳，可以理解。或许因为博士论文中好成果的确相对较少，有这个字数勉强吧，不过最好是建议值，得允许例外，比如遇到王先生这样的成果，多少字无所谓啦！

王先生这么优秀？谁是老师呢？那个生命中的贵人是谁？江泽涵先生！先八卦一句，江泽涵先生是胡适先生的爱人江冬秀的堂弟，来自那个著名的安徽省旌德县江村，早年就学受到胡适夫妇不少支持。江先生1930年获哈佛大学博士学位，博士论文题目为：Existence of critical points of harmonic functions of three variables(三变量调和函数的临界点的存在性)，此文文摘也收录在科睿唯安的ProQuest Dissertations & Theses Global (ProQuest全球博硕论文数据库)中，数据库中此文链接为：https://www.proquest.com/docview/301745555。江先生应该是王先生本科的老师(北京大学)、国内硕士的导师(西南联合大学)，当然好像米国没有认西南联大这个硕士，王先生在米国又读了硕士、博士。王先生在西南联合大学也任助教，此时江先生是算学系主任(杨振宁先生的父亲杨武之先生接任江先生的系主任，在《名家博士论文6：杨振宁先生之父杨武之教授博士论文1928年芝加哥大学》有对杨武之先生的介绍)。

图2：西南联合大学算学系部分教职员名录

王先生是吉林大学(原东北人民大学)数学系创系主任(1952-1976年)，还是计算机系创系主任(1976-1984年)！1977年，王湘浩在国内最早提出要开展人工智能的研究，并于1980年受教育部委托，在吉林大学举办了全国性的人工智能讨论班，随之成立了全国高校人工智能研究会。1981年，王先生参与倡议尽快成立中国人工智能学会。

王湘浩多才多艺，爱好广泛，除了数学和计算机，他还研究《红楼梦》，很有造诣的那种！出版有红学专著《红楼梦新探》。更牛的是，人家喜欢武侠小说，觉得不过瘾了，自己续写！下图是王先生续写的《射雕英雄传》第四十一回(原著四十回)。

图3：王湘浩续写《射雕英雄传》第四十一回