近日，煤科总院矿山人工智能研究院成功举办“青年沟路5号论坛—人工智能前沿”学术交流会。

    中国科学院自动化研究所王金桥研究员、大连理工大学软件学院孔维强教授和徐子川教授分别做“多模态大模型的实践与思考”“安全攸关系统可靠性验证技术研究”“基于Serverless边缘云的容器镜像弹性部署：理论与实践”学术报告。在报告环节，孔维强教授聚焦于安全攸关系统可靠性验证技术，介绍了智能算法与软件缺陷的自动验证技术，以及在自研中断驱动检测软件NIChecker时的实践经验；徐子川教授分享了基于Serverless边缘云的容器镜像弹性部署研究成果，分析了Serverless作为下一代的云计算范式的优势和实现难点，深入探讨了Serverless工程实践中的预取优化策略和轻量级探测机制；王金桥研究员则以多模态大模型的实践与思考为题，剖析大模型的发展现状、紫东太初的研发进展及其行业应用前景，并与参会人员共同展望了AI新时代。三位专家的报告内容丰富，见解独到，有效助力参会人员开拓科研视野、革新研究方法、提升创新能力。

在交流环节，三位专家与参会人员就边缘云部署、安全攸关系统验证及多模态大模型等前沿议题展开热烈交流，同时结合煤矿领域对行业动态、前沿技术、研究难点及未来趋势展开了深入的探讨。

本次会议相关科研人员、博士后、研究生共计80余人现场参会。