ICML26 第三届 AI for Math Workshop 征稿启动：走向自进化科学智能体

ICML26 第三届 AI for Math Workshop 将于 2026 年在首尔举办，主题聚焦“走向自进化科学智能体”。会议旨在探讨如何让 AI 不仅能解题和证明，还能验证、跨模态推理、跨学科协作并自我改进，从而服务真实科学发现与进展。

会议主题与研究方向

本届 Workshop 涵盖形式化定理证明、精确自动形式化、自然语言数学推理、科学问题解决、多模态推理、验证和测评、人机协作以及 AI 科学家等方向。组织者强调从方法论到评测的系统性推进，并鼓励跨学科交流以推动可验证且可重复的科学智能体研究。

挑战赛与投稿亮点

会议设置四项 Challenge Track，针对不同层面的科学智能体能力进行竞赛化评测，旨在激发社区在可验证性、跨模态理解与自动化推理等方向的创新。投稿欢迎理论、系统与应用结合的工作，特别是能够展示可重复性和可解释性的成果。

对学术与产业的意义

Workshop 不仅为学术界提供交流平台，也为产业界指明了将 AI 能力落地至科学工作流的路径。推动自进化智能体的发展有望加速科学发现效率，促成科研工具链与工程化产品的深度融合。

参会与投稿信息

组织者公布了投稿截止与参会安排，鼓励研究者提交涵盖理论、实验与评测的综合性工作，并参与 Challenge Track 的设计与评测。会议为研究者、工程师与产业方提供了协同探索前沿问题的机会。

如有侵权，请联系删除。