中国人工智能学会举办“人工智能与未来社会前沿论坛”

　　5月11日上午，中国人工智能学会、人民邮电出版社主办，吴文俊人工智能科学技术奖办公室承办的“人工智能与未来社会前沿论坛”在苏州国际博览中心举办。中国人工智能学会前理事长、北京邮电大学智能科学技术中心教授、国际信息研究学会(IS4SI)中国分会主席、首届吴文俊人工智能科学技术成就奖获得者钟义信、人民邮电出版社社长兼党委书记顾翀、吴文俊院士生前优秀博士生、北京航空航天大学“长江学者”特聘教授、法国国家科学研究中心主任研究员、欧洲科学院院士王东明、南京理工大学教授、国家杰出青年科学基金获得者、“长江学者”特聘教授、第七届吴文俊人工智能科学技术奖评审委员会委员杨健、吴文俊院士生前优秀博士生、中国科学院数学与系统数学研究院创始副院长、研究员刘卓军、吴文俊院士生前优秀博士后、中国科学院数学与系统数学研究院数学机械化重点实验室主任、研究员李洪波等嘉宾100余人出席了论坛交流活动。同时，中国人工智能学会、人民邮电出版社和吴文俊人工智能科学技术奖办公室还举行《大师足迹：吴文俊人工智能科学技术奖领军人物成长录》系列丛书新书启动仪式，中国人工智能学会前理事长、北京邮电大学智能科学技术中心教授钟义信、人民邮电出版社社长兼党委书记顾翀、北京航空航天大学“长江学者”特聘教授、欧洲科学院院士王东明、南京理工大学教授、国家杰出青年科学基金获得者、“长江学者”特聘教授、第七届吴文俊人工智能科学技术奖评审委员会委员杨健、中国人工智能学会副秘书长、吴文俊人工智能科学技术奖办公室主任余有成共同为新书发布启幕，以此纪念吴文俊院士这位最具国际影响的数学大师、人工智能先驱的科学人生，缅怀吴文俊院士对自动推理、机器定理证明、数学机械化和人工智能研究做出的杰出贡献。中国人工智能学会副秘书长、吴文俊人工智能科学技术奖办公室主任余有成主持了前沿论坛及新书启动仪式。

　　本届论坛以“智能担当，学术引领”为主题，旨在探讨人工智能与未来社会在前沿基础理论研究取得的重大进展，邀请历届获“吴文俊人工智能科学技术奖”的学界精英交流范式革命引领机制主义人工智能理论诞生，探讨符号计算与人工智能前沿趋势，总结数学机械化对人工智能发展做出的积极贡献，思考深度学习模型的发展现状与独到见解，传递精确推理与知识表示在人工智能的广泛应用。

　　吴文俊院士是我国人工智能研究的开拓者和领军人，中国人工智能学会第四届和第五届理事会指导委员会名誉主席，中国人工智能学会名誉理事长。吴文俊院士不仅在自动推理、机器定理证明等领域取得突出成就，他开创的数学机械化是近代数学史上的第一个中国原创的领域，被国际上誉为“吴方法”，在国际机器证明领域产生巨大的影响，当前国际流行的主要符号计算软件都实现了吴文俊院士的算法。他提出的数学机械化和脑力劳动机械化研究已经成为我国和世界人工智能研究的重要目标。此后计算机科学、计算机图形学、智能CAD、计算机视觉、图像压缩、机器人、并联数控技术、模式识别等诸多领域取得的重大科研成果，背后都有数学机械化的广泛重要的应用价值，这对人工智能时代的发展产生了深远影响。

　　与会专家深情回顾了吴文俊院士在代数拓扑学、代数几何、博弈论、数学史、数学机械化等众多学术领域的出色研究工作，尤其他在拓扑学的示性类和示嵌类，中国古代数学研究、数学机械化等领域中作出了重要贡献。著有《可剖形在欧氏空间中的实现问题》、《几何定理机器证明的基本原理(初等几何部分)》、A theory of imbedding,immersion, and isotopy of polytopes in an Euclidean space 等。吴文俊院士1956年因在拓扑学中示性类与示嵌类方面的卓越成就获国家自然科学奖一等奖;中国科学院科学奖金(自然科学部分)一等奖(1957)，1980年获中国科学院科技成果一等奖;1990年获第三世界科学院数学奖;1993年获陈嘉庚基金会数理科学奖;1994年获首届香港求是科技基金会杰出科学家奖;1997年因在数学机械化研究方面的开创性贡献获法国厄布朗(Herbrand)自动推理杰出成就奖;2000年荣获首届国家最高科学技术奖;2006年荣获邵逸夫数学科学奖。

　　吴文俊1919年5月12日生于上海，1940年毕业于上海交通大学数学系。1949年在法国斯特拉斯堡大学获法国国家科学博士学位，而后在法国国家科学研究中心(CNRA)工作。新中国成立后，吴文俊于1951年回国。他先后在北京大学、中国科学院数学所、中国科学院数学与系统科学研究院任职。曾任中国数学会理事长、中国科学院数理学部主任、全国政协常委、2002年国际数学家大会主席、中国科学院系统所名誉所长、中国人工智能学会名誉理事长。1957年当选为中国科学院学部委员(院士)。1990年创建数学机械化研究中心，并任主任。1991年当选为第三世界科学院院士。

　　吴文俊院士是我国人工智能研究的开拓者和领军人，中国人工智能学会第四届和第五届理事会指导委员会名誉主席，中国人工智能学会名誉理事长。吴文俊院士不仅在自动推理、机器定理证明等领域取得突出成就，他开创的数学机械化是近代数学史上的第一个中国原创的领域，被国际上誉为“吴方法”，在国际机器证明领域产生巨大的影响，当前国际流行的主要符号计算软件都实现了吴文俊院士的算法。他提出的数学机械化和脑力劳动机械化研究已经成为我国和世界人工智能研究的重要目标。此后计算机科学、计算机图形学、智能CAD、计算机视觉、图像压缩、机器人、并联数控技术、模式识别等诸多领域取得的重大科研成果，背后都有数学机械化的广泛重要的应用价值，这对人工智能时代的发展产生了深远影响。

　　据了解，吴文俊院士生前一直对我国人工智能发展高度关注，他与中国人工智能学会历届理事会同仁结下深厚的学术友谊。2011年1月6日，中国人工智能学会发起主办以吴文俊院士命名，依托社会力量设立的“吴文俊人工智能科学技术奖”，得到了享誉海内外的杰出科学家、数学大师、人工智能先驱、我国智能科学研究的开拓者和领军人、首届国家最高科学技术奖获得者、中国科学院院士、中国人工智能学会名誉理事长吴文俊先生的支持，经国家科学技术部核准，国家科学技术奖励工作办公室(国科奖社证字第0218号)公告正式设立。

　　“吴文俊人工智能科学技术奖”旨在贯彻“尊重知识、尊重人才、尊重创造”的方针，充分调动广大智能科学技术工作者的积极性和创造性，奖励在智能科学技术领域取得重大突破，做出卓著贡献的科技工作者和管理者。“吴文俊人工智能科学技术奖”每年评奖一次，其中吴文俊人工智能最高成就奖、吴文俊人工智能杰出贡献奖和吴文俊人工智能优秀青年奖奖励个人，不设等级。吴文俊人工智能自然科学奖和吴文俊人工智能技术发明奖奖励团队成果完成人、吴文俊人工智能科技进步奖奖励项目(成果完成单位和成果完成人)，分设一、二、三等奖。吴文俊人工智能科技进步奖企业技术创新工程项目奖励企业单位、吴文俊人工智能科技进步奖科普项目奖励项目完成人，不设等级。为激励更多人工智能创新人才涌现，吴文俊人工智能最高成就奖实行提名制，奖励获奖者个人100万元人民币，被外界誉为“中国智能科学技术最高奖”，代表着人工智能领域最高荣誉，拥有其广泛的盛誉和影响力。

　　与会专家一致认为，近年来，“吴文俊人工智能科学技术奖”坚持打造中国智能科学技术奖第一品牌，通过开展奖励宣传、成果推介、隆重颁奖、高端论坛、项目展览等“科技奖励工程”，吸引了来自清华大学、北京大学、中国科学院、北京航空航天大学、浙江大学、上海交通大学、南京大学、武汉大学、大连理工大学、华中科技大学、香港城市大学、华南理工大学、中国科学技术大学、国防科学技术大学、复旦大学、东北大学、北京理工大学、北京科技大学、中南大学、河海大学、东南大学、厦门大学、中国科学院深圳先进技术研究院、香港中文大学(深圳)、哈尔滨工业大学、苏州大学、同济大学、中国矿业大学、中国石油大学、武汉理工大学，以及腾讯、百度、IBM、今日头条、360、京东等700余个高校、研究院所和企业的众多项目参与角逐，迄今已成功举办七届评审及颁奖活动，先后授予119个单位及行业机构，426名学者及专家，140个创新成果和项目表彰奖励，为不断推进我国智能科学技术领域的创新与发展发挥积极作用。

　　中国人工智能学会副秘书长、吴文俊人工智能科学技术奖办公室主任表示，为纪念吴文俊院士的学术人生，秉承吴文俊院士的创新思想，纪念吴文俊院士百年诞辰，吴文俊人工智能科学技术奖办公室组织策划的《大师足迹：吴文俊人工智能科学技术奖领军人物成长录》系列丛书，旨在追寻吴文俊院士的科学足迹，探索人工智能领域的创新应用，向各界表达吴文俊院士研究成果给人工智能时代带来的变革与影响，为广大人工智能有志之士提供学术指引和精神方向，共同推进我国人工智能在学术创新、基础理论研究和产业应用的进步与发展。据悉，首本《大师足迹：吴文俊人工智能科学技术奖领军人物成长录》著作，将集中展示历届吴文俊人工智能科学技术成就奖获得者的科学人生，回顾中国人工智能科学发展历程，展现我国人工智能科技进步的历史，将在今年11月下旬举办的第八届吴文俊人工智能科学技术奖颁奖典礼暨2018中国人工智能产业年会与读者见面。