第三十八期CCF秀湖会议在苏州CCF业务总部&学术交流中心成功举办。来自学术界与工业界的二十余位专家围绕“求解器的产学研生态：现状与道路”这一主题开展深入交流和研讨。本次会议的报告和讨论从“求解器主流算法：现状与局限”、“求解器遇见AI”、“求解器产业应用：挑战与未来”、“求解器人才培养”四个方面展开，围绕我国求解器生态建设中的基础理论、关键技术、产业落地与人才体系等问题进行了系统研讨，并就未来发展方向形成了初步共识。

本次秀湖会议于2026年3月20日至3月22日召开，为期三天，就“求解器的产学研生态：现状与道路”进行深入交流和探讨。本期秀湖会议的执行主席为北京航空航天大学/中国科学院软件研究所蔡少伟教授和上海财经大学陆品燕教授。会议特别邀请中国科学院院士、清华大学王小云教授、斯坦福大学杰出终身教授叶荫宇教授、中国科学院软件研究所张健研究员、上海概伦电子股份有限公司方君副总裁等专家参会，另有来自中国科学院计算技术研究所、北京大学、南京大学、浙江大学、国防科技大学、华为、杉数科技、晞德求索等高校、科研机构和企业界的多位专家共同参与。秀湖会议AC副主席、苏州大学朱巧明教授出席开幕式并致辞。

朱巧明

张健研究员作特邀报告

中国科学院软件研究所张健研究员以“新的应用，新的研究问题”为题作特邀报告。报告从约束求解出发，系统梳理了CSP、SAT、SMT及一阶逻辑模型构造等相关方向的内在联系，指出求解技术的发展往往来源于真实应用场景不断提出的新问题。随后，张健研究员结合有限模型搜索、模态逻辑及时序逻辑中的小模型搜索、Bounded Model Checking等内容，回顾了自动推理与约束求解在验证、测试和数学问题求解中的关键作用。报告还进一步介绍了SMT在模型计数、体积估计、约束优化等方向上的扩展，展示了其在程序分析、符号执行、测试生成和定量分析中的广阔应用前景。最后，报告围绕研究范式演进与人才培养展开讨论，强调在定理证明、模型检查、模型构造与机器学习等多种方法并行发展的背景下，应面向应用持续凝练新的基础研究问题。

方君副总裁作特邀报告

上海概伦电子股份有限公司方君副总裁以“集成电路与系统EDA中的数学求解器：分析与展望”为题作特邀报告。报告围绕数学求解器在EDA中的核心作用展开，系统介绍了其在仿真验证、逻辑综合、形式化验证、布局布线、寄生参数提取和多物理场分析等关键环节中的支撑作用。随后，方君副总裁分析了先进工艺演进背景下EDA求解器面临的问题规模增长、多物理场耦合增强以及效率、精度与收敛性平衡等挑战，并介绍了AI驱动优化、GNN辅助预测、AI Agent调优以及GPU与异构硬件加速等最新进展。最后，报告展望了EDA数学求解器在高精度物理建模、多物理场融合、数字孪生和全流程智能化设计等方向的发展趋势，强调多学科交叉协同对国产EDA突破的重要意义。

叶荫宇教授作特邀报告

斯坦福大学杰出终身教授叶荫宇教授以“Mathematical Optimization Solvers: History and Trend”为题作特邀报告。报告从数学规划与优化求解器的基本问题出发，系统梳理了线性规划、混合整数规划、锥规划、半定规划和非线性规划等主要类型，指出优化求解器已成为智能决策的重要基础设施。随后，叶荫宇教授结合国际主流求解器的发展历程和典型工业案例，分析了求解器在大规模稀疏计算、预处理、分支定界、数值稳定性和工程实现等方面的关键挑战，并介绍了基于公开基准测试的性能演进情况。最后，报告重点讨论了GPU加速、一阶方法和软硬件协同对求解器发展的推动作用，并结合量子化学、机器人等前沿应用，展望了优化求解器从工业决策工具走向科学计算基础平台的发展趋势。

王小云院士作特邀报告

中国科学院院士、清华大学王小云教授以“密码技术与人工智能安全”为题作特邀报告。报告从大模型安全研究切入，指出人工智能在广泛应用的同时，也面临安全对齐、越狱攻击和去对齐攻击等现实挑战，人工智能安全已成为全球治理和前沿研究的重要议题。随后，王小云院士介绍了AI赋能密码分析的代表性进展，包括利用机器学习攻击格密码、基于深度学习的分组密码分析等工作，展示了AI对密码分析方法带来的新影响。在此基础上，报告重点阐述了“密码赋能AI安全”的研究路径，围绕神经网络模型参数恢复攻击、全同态加密、零知识证明等内容，说明密码学既能够揭示AI系统的潜在脆弱性，也能为数据隐私保护、密态推理和内容真实性验证提供可证明安全的技术支撑。

本次会议设置了“求解器主流算法：现状与局限”、“求解器遇见AI”、“求解器产业应用：挑战与未来”、“求解器人才培养”四个专题，以及Panel讨论、分组讨论和集中研讨等多个环节。与会专家围绕SMT求解器、电路仿真求解器、约束规划算法、AI辅助算法设计、大模型时代的求解器研究、工业界应用实践、程序分析与验证、最优化与形式化验证人才培养等议题进行了深入分享。报告内容既涵盖了求解器底层理论、算法创新和系统实现，也聚焦工业软件替代、产业落地门槛、AI赋能路径和生态协同机制，充分体现了学术界与产业界在求解器领域的多维互动与协同探索。

左右滑动查看更多

左起：马菲菲、金洲、雷震东

左右滑动查看更多

左起：卜东波、蔡少伟、罗川

左右滑动查看更多

左起：袁明轩、王子卓、林锦坤、陈振邦

专题四：求解器人才培养

左右滑动查看更多

左起：詹乃军、文再文、俞扬、刘伟峰

在分组讨论、Panel讨论和集中研讨环节，与会专家围绕当前求解器发展中的若干核心问题展开深入交流，包括主流求解器的技术瓶颈、自主可控求解器生态的建设路径、AI对求解器研究与产业的影响、求解器应用中的真实门槛，以及产学研之间如何形成更高效的协同机制等。专家们一致认为，求解器不仅是多个关键工业软件领域的“底座能力”，也是支撑高端制造、智能决策和基础软件创新的重要抓手，必须从基础研究、工程实现、产业推广和开源生态等层面系统推进。

左右滑动查看更多

户外交流 | 思想延展

会议期间还组织了户外交流活动。与会专家在轻松开放的氛围中继续围绕会议主题展开深入沟通，就求解器在EDA、程序分析、工业调度，AI系统可靠性和agent工具等方向的共性需求与交叉机会交换看法。自由交流进一步加深了与会者之间的相互了解，也为后续合作奠定了良好基础。

蔡少伟

陆品燕

开放讨论 | 观点碰撞

在会议结尾的专题讨论和全体研讨环节，与会嘉宾对本次会议的主要观点进行了系统总结与提炼。大家认为，我国求解器生态建设已具备良好的研究基础和初步产业条件，但在高性能通用引擎、面向复杂场景的工程化能力、与AI融合的新范式以及高层次复合型人才培养方面仍需持续发力。与会专家提出，应进一步强化基础理论研究与工程实践结合，推动高校、科研机构与企业在算法、平台、应用和人才等方面形成更紧密协作，共同促进我国求解器生态高质量发展。

卜东波 书

CCF将持续推进相关话题的讨论与总结，

请持续关注CCF的后续报道。

秀湖会议是CCF全新打造的小型精品国际学术讨论会品牌，借鉴德国达堡研讨会（Dagstuhl Seminars）、日本湘南会议模式，旨在深入探讨计算机相关领域的科学、技术、应用、教育和产业等问题，为未来计算技术的发展和应用提供新思路和新建议。每个研讨会均针对某一个具体的前沿问题讨论交流为主，仅限发起人邀请的一线专家参与，不对外开放，会期3天以上，要求参会者全程参会，不能中途离会，引导科学家、企业技术专家及教育专家在浮躁的社会中沉下心来钻研学术。

参会专家名单

特邀嘉宾

王小云     清华大学       

叶荫宇     斯坦福大学杰出终身教授    

张   健     中国科学院软件研究所   

方   君     上海概伦电子股份有限公司   

参会嘉宾(姓氏拼音排序)

卜东波     中国科学院计算技术研究所   

陈振邦     国防科技大学     

金   燕     华中科技大学      

金   洲     浙江大学      

雷震东     华为泰勒实验室     

李宏博     东北师范大学      

林锦坤     晞德求索       

刘伟峰     中国石油大学（北京）    

罗   川     北京航空航天大学     

马菲菲     中国科学院软件研究所    

皮   良     杉数科技       

王子卓     杉数科技       

文再文     北京大学       

俞   扬     南京大学       

袁明轩     华为香港诺亚方舟实验室    

詹乃军     北京大学

秀湖会议学术委员会（AC）副主席

朱巧明     苏州大学　

会议执行主席

蔡少伟     北京航空航天大学/中国科学院软件研究所 

陆品燕     上海财经大学

会议工作人员

初   一     中国科学院软件研究所　     

张昕荻     中国科学院软件研究所      

陆   梦     华为泰勒实验室       

侯雯颖     华为泰勒实验室

秀湖会议年度合作单位OPPO，金牌合作单位联想对会议给予了大力支持。

CCF欢迎更多会员和业界专家关注和申请秀湖会议。

联系邮箱：bls@ccf.org.cn