中国科学院数学机械化重点实验室第四届学术委员会第三次会议于2017年3月30日在中国科学院数学与系统科学研究院南楼420召开。实验室学术委员会主任李邦河院士，副主任高小山研究员，万哲先院士，陆汝钤院士，林惠民院士，北京大学张继平教授，北京航空航天大学/广西民族大学王东明教授，北京大学宗传明教授，中科院信息工程研究所林东岱研究员，清华大学王小云教授，实验室主任李洪波研究员等11位学术委员会委员参加了本次会议。中国科学院前沿科学与教育局重点实验室处白雪瑞副处长也应邀参加了本次会议。此外实验室副主任邓映蒲研究员，支丽红研究员，数学院科研处主管实验室事宜的王晓欢博士也参加了本次会议。

    会议由实验室学术委员会主任李邦河院士主持。首先实验室主任李洪波研究员从成果进展、学术活动、实验室建设等方面汇报了实验室2016年的各项工作。随后，冯如勇副研究员、潘彦斌副研究员分别作了“线性差分方程Galois理论中的正问题”和“对Hanser-Slamanig等价类上保结构签名体制的安全性分析”的学术报告。

    随后， 学术委员会对实验室2016年的组织工作与科研成果予以了充分肯定，对实验室现状及未来发展方向进行了深入讨论。期间，实验室主任李洪波研究员对实验室即将开辟的量子计算研究方向进行了总体介绍与展望；高小山研究员具体介绍了实验室即将承担的军委科技委批准的量子算法项目，该项目将实验室长期积累的数学机械化算法和密码分析的研究经验与量子相关前沿课题相结合，重点研究量子算法。该项目是实验室继科技部973项目、基金委群体项目之后承担的又一重大项目，将为实验室未来的科研工作提供充裕的经费支持；林惠民院士进一步分析了量子计算的研究前景，认为目前虽然量子算法的可研究空间很大，但寻找量子算法模型及界定何种算法适用于发展量子算法还很困难。王小云教授也表达了同样的观点，作为该项目的参与者，王教授认为应从已取得进展的密码分析算法入手，结合某具体问题，逐步积累在量子算法方面的经验。陆汝钤院士也指出，目前量子算法很少，但目前已有科学家将量子算法的思想运用到人工智能研究中。结合实验室的研究特点，可尝试将符号推理与符号计算的思想运用到量子计算中。

    学术委员会委员同时对实验室的发展提出了意见和建议。王东明教授指出，实验室奠基人吴先生研究数学机械化理论已经40余年，推动了整个学科的发展，现在活跃在科研一线的年轻人应该承担起学科发展的重任，思考如何在国内外同行中争得上游，与专家前辈和兄弟院校协力在吴先生的工作基础上开辟拓展新方向。林东岱研究员充分赞赏了潘彦斌副研究员的工作，鼓励其在已有成果基础上继续寻求突破。目前，数学机械化方向迫切需要新的突破口与里程碑，才能赢得国内外同行的广泛认可。宗传明教授认为应重视实际问题的研究，而实验室一直以来的数控技术的研究就是将实际问题转换为数学问题并最终用数学解决实际问题的良好典范。张继平教授对实验室的发展谈了两点看法：一：吴先生的数学机械化理论是不可多得的有世界影响力的成果，目前数学机械化的学科发展及队伍扩大都很不容易，作为上级单位，科学院应该建立保护数学机械化发展的具体措施，使数学机械化的研究逐代传承下去。他赞扬了实验室的代表性研究成果。二：尽管目前数学学科对应用、算法方面关注度较高，但理论研究的根不能丢。林惠民院士也认为数学院在国际上享有盛誉，科学院应对数学院、对数学机械化中心给予更多扶持。虽然目前实验室开辟了量子算法的新研究领域，但对吴方法等经典算法的研究不能丢弃。王小云教授建议实验室以能否改进吴方法作为挑选学生的依据，鼓励吸引更多力量研究发展吴方法。陆汝钤院士建议实验室将数学机械化的算法软件开源，让更多人使用，从而推动数学机械化的发展。最后，李邦河院士对各位委员提出的宝贵意见和建议表示了感谢，同时建议实验室将吴方法和Groebner基进行详尽的比对,让大家充分了解吴方法和Groebner基的优缺点。实验室也应对研究吴方法的老师给予特别支持，鼓励科研人员多写论文，使吴方法引起更广泛的关注，使数学机械化学科充分发扬光大。