晞德求索CTO林锦坤应邀出席第五届人工智能与工业技术应用国际学术会议，并发表特邀报告

2025年3月28日-3月30日，晞德求索联合创始人、首席技术官林锦坤博士以特邀报告人（ Invited Speech）身份受邀出席第五届人工智能与工业技术应用国际学术会议（AIITA 2025），并在AI+工业场景实践应用分论坛发表主题为《约束求解器与大语言模型的结合 (Constraint Solvers meet Large Language Model)》的特邀报告。

第五届人工智能与工业技术应用国际学术会议（AIITA 2025）于2025年3月28-30日在中国西安举行。本次会议由IEEE提供技术支持，并得到多级政府部门指导及多所高校、研究机构联合主办与协办，是人工智能与工业技术应用领域备受关注的国际学术会议之一。会议旨在为从事人工智能、智能制造、自动化等领域的专家学者、工程技术人员、研发人员提供一个共享科研成果和前沿技术，了解学术发展趋势，拓宽研究思路，加强学术研究和探讨，促进学术成果产业化合作的平台。

林锦坤博士的特邀报告的主题为《约束求解器与大语言模型的结合 (Constraint Solvers meet Large Language Model)》，旨在分享与探讨如何融合约束求解器与大语言模型（LLM）技术，以提供精确的数学建模与高效的约束求解，进而提升工业场景优化问题的解决效率，助力企业实现降本增效。

随着大语言模型技术的日趋成熟，其在优化领域的应用潜力巨大。无论是约束求解器算法的自动化设计与优化，还是工业问题的自动化数学建模，都将变得更加简洁、高效。这将有力推动约束求解技术的普及，成为加速工业场景优化升级的关键驱动力。