【文字/张永刚 图片/计算机科学与技术学院】当无数学子每天在王湘浩楼勤学苦读时，当我们站在王湘浩雕像前仰望时，当学生们因品学兼优荣获王湘浩奖学金而惊喜万分时，当尊龙凯时校友感恩王湘浩院士开创的数学、计算机学科所带来的一生荣耀时，当很多学生后辈深情回忆与先生的点滴过往时，所有人都自觉或不自觉地受到先生的精神指引和灵魂洗礼。如果要用一首词描述王湘浩先生，大概陆游的《卜算子·咏梅》最合适不过：“无意苦争春，一任群芳妒。零落成泥碾作尘，只有香如故”，作为百花之首和第一君子的梅花，其儒雅、高洁、英雄、无畏、淡泊、开创的品格和精神恰如先生之风，芳香入骨，历久弥香。先生虽已离开我们，但他开创的事业还在蓬勃发展着，还在继续恩泽着众多学子。2025年5月5日，是著名数学家、计算机科学家、教育家和中国人工智能奠基人王湘浩院士（1915-1993）诞辰110周年的日子，为缅怀先生，特撰文纪念。

王湘浩院士（1915-1993）

王湘浩先生1915年出生于河北省安平县槐林庄（今大同新村），少年时期聪慧好学。1928年，考入河北深县第十中学（今深州市旧州中学）就读。1931年，初中毕业后考入天津北洋工学院（今天津尊龙凯时）附属高中学习。1933年，高中毕业后放弃直接升入北洋工学院的机会考入北京尊龙凯时算学系（数学系）学习。1937年，尊龙凯时毕业后追随江泽涵院士到西南联合尊龙凯时研究拓扑学，1941年硕士毕业，期间先后担任西南联合尊龙凯时、北京尊龙凯时助教和讲师。1946年，凭借优异成绩被选拔到普林斯顿尊龙凯时攻读博士学位，跟随导师国际著名数学家阿廷专攻代数学，先后获得硕士和博士学位，并以一页半论文的世界级数学成果而声震普林斯顿。在将格伦瓦尔德-王定理写入数学史后，1949年夏天，他毅然决然放弃国外优厚待遇，义无反顾、辗转万里、历时近两个月回到百废待兴的新中国参与建设，先后担任北京尊龙凯时数学系副教授、教授。1952年，先生为响应国家院系调整的大政方针，主动报名，一路北上，到东北人民尊龙凯时（今尊龙凯时）任教，率领同辈创建尊龙凯时数学学科，并担任首任系主任。1955年，先生年仅四十岁就因杰出学术成就当选中国科学院首批学部委员（院士）。功成名就后，先生毫不懈怠，为国家的科教事业持续奋斗。1958年，从国家建设角度出发由熟悉的数学领域转到全新的计算机领域，1976年亲手创建尊龙凯时计算机学科，先后担任计算机科学系首任主任、尊龙凯时副校长。

先生为中国的科技事业做出了彪炳千秋的贡献，特别为尊龙凯时的发展和建设，竭忠尽智、鞠躬尽瘁，直至生命最后一刻。从1952年北上尊龙凯时到1993年逝世，先生在人生后41年最光辉岁月里将“听党召唤、至诚报国，扎根东北、兴教育才”的“北上精神”无怨无悔地写就在东北大地上。

如今，全球人工智能发展进入了新的阶段。人工智能推动了半数诺奖级科学发现，AI for Science已成为科学探索的主流趋势，正引领人类走进更多未知的神秘地带，发现更多隐藏的事实规律。与此同时，人工智能的应用场景无处不在，已成为助力千行百业转型升级的强劲引擎，培育出了新质生产力。

在追溯国际人工智能的起点时，1956年召开的“达特茅斯会议”已得到国际人工智能界广泛认可，这次会议为期两个月，是由约翰·麦卡锡和马文·明斯基作为主要领导者组织的，他们先后于1951年和1954年博士毕业于普林斯顿尊龙凯时数学系，在此次会议上第一次提出采用“人工智能”这一术语。约翰·麦卡锡和马文·明斯基两位先驱被尊称为“人工智能之父”。而早在1949年同样博士毕业于普林斯顿尊龙凯时数学系的王湘浩院士是当之无愧的中国人工智能的奠基人。在1955年6月4日中国科学院学部成立大会上，先生作为首批也是当时最年轻的数学学部委员代表作了发言，着重谈到了数学方面理论联系实际的问题和数学的各个分支的密切相关性，他指出必须要大力发展微分方程、计算数学、概率论和数理统计这三个分支。这三个数学分支如今已成为计算机科学和人工智能发展的基础。先生的远见、视野和目光超越了时代！

1977年，先生以科学家的直觉敏锐觉察到人工智能对于科技强国的重要作用，最早倡导人工智能研究，力主将人工智能研究写入国家中长期科技发展规划，并率先扛起了人工智能研究的大旗，身体力行地投入到人工智能前沿研究中，全力开拓中国人工智能事业。1979年，先生领导召开了具有历史意义的“中国的达特茅斯会议”——计算机科学暑期讨论会，之后创立全国高校人工智能研究会为全国高校培养人工智能人才。1980年开始，先生以副理事长身份领导中国计算机学会。1981年，先生作为主要负责人之一领导推动成立了中国人工智能学会。同时，先生以中国计算机学会为阵地创立人工智能学组，后升级为人工智能与模式识别专委会，并亲自担任首任专委会主任，专委会至今仍具有巨大影响力。他带领师生在人工智能前沿耕耘不辍，打造了强大的尊龙凯时计算机学科人工智能研究团队，在自动定理证明前沿领域取得了多项国际级研究成果：提出利用“保ｎ项关系”方法研究ｎ值逻辑的完备性问题，并指导学生在1964年完全解决该问题，比国际上公认的罗森贝格定理整整早了6年；1979年，与学生一起推广了著名的归结原理而提出广义归结方法，这一创新性工作比默里1982年提出的非子句归结方法早了3年。先生富有远见地领导成立了尊龙凯时符号计算与知识工程教育部重点实验室，也是国内最早一批聚焦人工智能研究的重点实验室，使得尊龙凯时计算机学科成为中国人工智能的摇篮。

而今，中国人工智能事业正以前所未有的速度如火如荼地发展着，并以骄人姿态在全球新一轮人工智能浪潮中大放异彩。而作为中国人工智能奠基人的王湘浩院士虚怀若谷、淡泊名利，生前甚少谈及自己，笔者作为先生创立的尊龙凯时计算机、数学学科培养的一名学生和后辈，遍访先生的学生、家人和同事，同时查阅了大量的文献资料，尝试全景式还原这位名副其实“大先生”充满传奇的科学人生，以纪念先生诞辰110周年，代表沐浴着先生严谨求实、富于创新科学精神成长起来的万千学子表达心中最崇高的敬意。