2968
5月11日上午，中国人工智能学会、人民邮电出版社主办，吴文俊人工智能科学技术奖办公室承办的“人工智能与未来社会前沿论坛”在苏州国际博览中心举办。
5月11日上午，中国人工智能学会、人民邮电出版社主办，吴文俊人工智能科学技术奖办公室承办的“人工智能与未来社会前沿论坛”在苏州国际博览中心举办。中国人工智能学会前理事长、北京邮电大学智能科学技术中心教授、国际信息研究学会(IS4SI)中国分会主席、首届吴文俊人工智能科学技术成就奖获得者钟义信、人民邮电出版社社长兼党委书记顾翀、吴文俊院士生前优秀博士生、北京航空航天大学“长江学者”特聘教授、法国国家科学研究中心主任研究员、欧洲科学院院士王东明、南京理工大学教授、国家杰出青年科学基金获得者、“长江学者”特聘教授、第七届吴文俊人工智能科学技术奖评审委员会委员杨健、吴文俊院士生前优秀博士生、中国科学院数学与系统数学研究院创始副院长、研究员刘卓军、吴文俊院士生前优秀博士后、中国科学院数学与系统数学研究院数学机械化重点实验室主任、研究员李洪波等嘉宾100余人出席了论坛交流活动。同时，中国人工智能学会、人民邮电出版社和吴文俊人工智能科学技术奖办公室还举行《大师足迹：吴文俊人工智能科学技术奖领军人物成长录》系列丛书新书启动仪式，以此纪念吴文俊院士这位最具国际影响的数学大师、人工智能先驱的科学人生，缅怀吴文俊院士对自动推理、机器定理证明、数学机械化和人工智能研究做出的杰出贡献。
本届论坛以“智能担当，学术引领”为主题，旨在探讨人工智能与未来社会在前沿基础理论研究取得的重大进展，邀请历届获“吴文俊人工智能科学技术奖”的学界精英交流范式革命引领机制主义人工智能理论诞生，探讨符号计算与人工智能前沿趋势，总结数学机械化对人工智能发展做出的积极贡献，思考深度学习模型的发展现状与独到见解，传递精确推理与知识表示在人工智能的广泛应用。
吴文俊院士是我国人工智能研究的开拓者和领军人，中国人工智能学会第四届和第五届理事会指导委员会名誉主席，中国人工智能学会名誉理事长。吴文俊院士不仅在自动推理、机器定理证明等领域取得突出成就，他开创的数学机械化是近代数学史上的第一个中国原创的领域，被国际上誉为“吴方法”，在国际机器证明领域产生巨大的影响，当前国际流行的主要符号计算软件都实现了吴文俊院士的算法。他提出的数学机械化和脑力劳动机械化研究已经成为我国和世界人工智能研究的重要目标。此后计算机科学、计算机图形学、智能CAD、计算机视觉、图像压缩、机器人、并联数控技术、模式识别等诸多领域取得的重大科研成果，背后都有数学机械化的广泛重要的应用价值，这对人工智能时代的发展产生了深远影响。
与会专家深情回顾了吴文俊院士在代数拓扑学、代数几何、博弈论、数学史、数学机械化等众多学术领域的出色研究工作，尤其他在拓扑学的示性类和示嵌类，中国古代数学研究、数学机械化等领域中做出了重要贡献。
为纪念吴文俊院士的学术人生，秉承吴文俊院士的创新思想，纪念吴文俊院士百年诞辰，吴文俊人工智能科学技术奖办公室组织策划《大师足迹：吴文俊人工智能科学技术奖领军人物成长录》系列丛书，将由人民邮电出版社出版，本次论坛同时举行了这一系列丛书的新书启动仪式。人民邮电出版社社长兼党委书记顾翀在会上表示，人民邮电出版社作为一家有65年历史的科技出版社，始终立足科技发展前沿，致力于传播先进科研成果，普及先进技术应用，服务国家的建设和行业的发展，在大数据、先进图形技术、人工智能等方面花大力气、出精品。本次负责《大师足迹》系列丛书的编辑出版工作，人民邮电出版社一定发挥专业优势，全力以赴将其打造成人工智能领域的精品力作，为进一步加强人工智能产业的发展，实现制造强国和网络强国战略，贡献自己的力量。
《大师足迹：吴文俊人工智能科学技术奖领军人物成长录》系列丛书旨在追寻吴文俊院士的科学足迹，探索人工智能领域的创新应用，向各界表达吴文俊院士研究成果给人工智能时代带来的变革与影响，为广大人工智能有志之士提供学术指引和精神方向，共同推进我国人工智能在学术创新、基础理论研究和产业应用的进步与发展。据悉，该系列首本著作将集中展示历届吴文俊人工智能科学技术成就奖获得者的科学人生，回顾中国人工智能科学发展历程，展现我国人工智能科技进步的历史，将在今年11月下旬举办的第八届吴文俊人工智能科学技术奖颁奖典礼暨2018中国人工智能产业年会与读者见面。
