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

　　5月11日，中国人工智能学会、人民邮电出版社主办，吴文俊人工智能科学技术奖办公室承办的“人工智能与未来社会前沿论坛”在苏州举办。论坛以“智能担当，学术引领”为主题，旨在探讨人工智能与未来社会在前沿基础理论研究取得的重大进展。

　　《大师足迹：吴文俊人工智能科学技术奖领军人物成长录》系列丛书同时发布，以此纪念我国最具国际影响的数学大师、人工智能先驱吴文俊院士，缅怀他对自动推理、机器定理证明、数学机械化和人工智能研究做出的杰出贡献。

　　论坛邀请了历届获吴文俊人工智能科学技术奖的学界精英交流范式革命引领机制主义人工智能理论诞生，探讨符号计算与人工智能前沿趋势，总结数学机械化对人工智能发展做出的积极贡献，思考深度学习模型的发展现状与独到见解，传递精确推理与知识表示在人工智能的广泛应用。

　　吴文俊院士是我国人工智能研究的开拓者和领军人，中国人工智能学会第四届和第五届理事会指导委员会名誉主席，中国人工智能学会名誉理事长。吴文俊院士不仅在自动推理、机器定理证明等领域取得突出成就，他开创的数学机械化是近代数学史上的第一个中国原创的领域，被国际上誉为“吴方法”，在国际机器证明领域产生巨大影响，当前国际流行的主要符号计算软件都实现了吴文俊院士的算法。

　　吴文俊院士提出的数学机械化和脑力劳动机械化研究已经成为我国和世界人工智能研究的重要目标。此后计算机科学、计算机图形学、智能CAD、计算机视觉、图像压缩、机器人、并联数控技术、模式识别等诸多领域取得的重大科研成果，背后都有数学机械化的广泛重要的应用价值，这对人工智能时代的发展产生了深远影响。

　　与会专家深情回顾了吴文俊院士在代数拓扑学、代数几何、博弈论、数学史、数学机械化等众多学术领域的出色研究工作，尤其他在拓扑学的示性类和示嵌类，中国古代数学研究、数学机械化等领域中作出的重要贡献。吴文俊院士1956年因在拓扑学中示性类与示嵌类方面的卓越成就获国家自然科学奖一等奖;中国科学院科学奖金(自然科学部分)一等奖(1957)，1980年获中国科学院科技成果一等奖;1990年获第三世界科学院数学奖;1993年获陈嘉庚基金会数理科学奖;1994年获首届香港求是科技基金会杰出科学家奖;1997年因在数学机械化研究方面的开创性贡献获法国厄布朗(Herbrand)自动推理杰出成就奖;2000年荣获首届国家最高科学技术奖;2006年荣获邵逸夫数学科学奖。

　　吴文俊人工智能科学技术奖旨在贯彻“尊重知识、尊重人才、尊重创造”的方针，充分调动广大智能科学技术工作者的积极性和创造性，奖励在智能科学技术领域取得重大突破，做出卓著贡献的科技工作者和管理者。该奖每年评奖一次，其中吴文俊人工智能最高成就奖、吴文俊人工智能杰出贡献奖和吴文俊人工智能优秀青年奖奖励个人，不设等级。吴文俊人工智能自然科学奖和吴文俊人工智能技术发明奖奖励团队成果完成人、吴文俊人工智能科技进步奖奖励项目(成果完成单位和成果完成人)，分设一、二、三等奖。吴文俊人工智能科技进步奖企业技术创新工程项目奖励企业单位、吴文俊人工智能科技进步奖科普项目奖励项目完成人，不设等级。

　　为激励更多人工智能创新人才涌现，吴文俊人工智能最高成就奖实行提名制，奖励获奖者个人100万元人民币，被外界誉为“中国智能科学技术最高奖”，代表着人工智能领域最高荣誉，拥有广泛的声誉和深远的影响力。