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

第三届 AI for Math Workshop 在 ICML2026框架下征稿，主题聚焦走向自进化的科学智能体，旨在促进 AI 在数学与科学研究中的方法论进步与实际应用。

研讨会的研究方向

研讨会覆盖八大方向：形式化定理证明、精确自动形式化、自然语言数学推理、科学问题求解、多模态推理、验证和测评、人机协作与 AI 科学家等，鼓励跨学科与跨模态的方法创新。

从会做题到会科学发现

主题强调智能体能力的跃迁：不仅要解决具体数学题目或证明，还要能进行验证、跨模态推理与自我改进，从而真正服务于真实科学发现与长期研究任务。

评审与应用标准

研讨会将注重方法的可验证性与可重复性，鼓励提交在理论证明、系统实现与评测指标上都有严谨贡献的工作，以推动整个社区在科学智能体方向的稳健进展。

对研究者与产业的意义

该研讨会为研究者提供展示新方法与跨学科合作的平台，也为产业界展示可落地的科学智能体技术路径，促进学术成果向工程化产品的转化，推动长期科学研究的自动化与扩展。

如有侵权，请联系删除。