ICML26 第三届 AI for Math Workshop 征稿启动：走向自进化科学智能体
第三届 AI for Math Workshop 在 ICML2026框架下征稿，主题聚焦走向自进化的科学智能体，旨在促进 AI 在数学与科学研究中的方法论进步与实际应用。
研讨会的研究方向
研讨会覆盖八大方向：形式化定理证明、精确自动形式化、自然语言数学推理、科学问题求解、多模态推理、验证和测评、人机协作与 AI 科学家等，鼓励跨学科与跨模态的方法创新。
从会做题到会科学发现
主题强调智能体能力的跃迁：不仅要解决具体数学题目或证明，还要能进行验证、跨模态推理与自我改进，从而真正服务于真实科学发现与长期研究任务。
智能体要从会做题、会证明走向会验证、会跨模态、会自我改进，最终服务真实科学发现。
“小墨”积墨 AI 核心产品
积墨 AI 智能体开发平台
快速搭建具备商业价值的 AI 智能体，支持复杂工作流编排、50+ 主流模型接入与私有化部署。
评审与应用标准
研讨会将注重方法的可验证性与可重复性，鼓励提交在理论证明、系统实现与评测指标上都有严谨贡献的工作，以推动整个社区在科学智能体方向的稳健进展。
对研究者与产业的意义
该研讨会为研究者提供展示新方法与跨学科合作的平台，也为产业界展示可落地的科学智能体技术路径，促进学术成果向工程化产品的转化，推动长期科学研究的自动化与扩展。
如有侵权，请联系删除。