ICML 2026 AI for Math Workshop征稿启动！四大挑战赛聚焦自进化科学智能体

导语：ICML 2026 AI for Math Workshop征稿启动，四大挑战赛聚焦自进化科学智能体，诚邀全球研究者投稿参与。

征稿背景：数学推理驱动科学智能体进化

随着大语言模型、形式化证明与多模态推理的快速进展，AI系统已在IMO级证明、自然语言数学推理与科学问题求解上展现出令人瞩目的能力。第三届AI for Math Workshop以“Toward Self-Evolving Scientific Agents”为主题，面向学界与产业界研究者，聚焦AI如何从“会做题、会证明”进一步走向“会验证、会跨模态、会跨学科、会自我改进”，并最终服务真实的科学发现。

会议基本信息

• 时间：2026年7月10日（或7月11日）
• 地点：韩国首尔Coex Convention & Exhibition Center（ICML 2026同期）
• 会议形式：线下+线上

往届成果与影响力

AI for Math Workshop已连续在ICML 2024与ICML 2025成功举办，持续推动数学推理、形式化证明与科学问题求解方向的交流。往届Workshop中产生了如PutnamBench与Limit of RLVR等代表性工作，系列挑战赛累计吸引超过2000支来自全球各地顶尖机构的参赛队伍。2026年新一届将进一步把讨论从“数学能力”拓展到“自进化科学智能体”。

征稿主题（包括但不限于）

• 形式化定理证明：如何让LLM支持真实的数学研究与教学，并自主提出并解决创新猜想？
• 精确自动形式化：如何确保自然语言数学到形式语言翻译的忠实性？
• 自然语言数学推理：纯自然语言Pipeline下的前沿性能与验证。
• 科学问题解决：数学推理能力如何迁移至理论计算机科学与物理学等领域？
• 多模态推理：视觉信息在数学与科学推理中的应用。
• 验证和测评：面向AI生成证明、解答与科学结论的评测、faithfulness与正确性验证。
• 人机协作：服务科学研究的人机协作、交互工具与工作流。
• AI科学家：面向系统科学、逻辑学、经济学、生物信息学等方向的科学智能体。

四大Challenge Track

• Track 1：自动形式化的语义对齐评估
• Track 2：Lean中的理论计算机科学证明
• Track 3：基于视觉感知的物理问题
• Track 4：端到端自动形式化与定理证明

重要日期

• 论文投稿截止：2026年5月25日（AOE）
• 论文录用通知：2026年6月15日
• 最终版提交：2026年6月25日
• 挑战赛开放：2026年5月1日
• 挑战赛截止：2026年6月15日
• Workshop日期：2026年7月10日或11日

投稿与出版信息

• 论文格式：2-8页，参考文献与补充材料不限页；需使用ICML 2026格式。
• 审稿方式：OpenReview双盲评审，本次Workshop为non-archival形式。
• 展示形式：录用论文以poster展示为主；部分优秀论文将受邀进行contributed talk。
• 挑战赛要求：鼓励参与者同步提交技术报告；获奖队伍需在结果公布后开源代码以便验证。

投稿入口与联系方式

• Workshop官网：https://ai4math2026.github.io/
• OpenReview投稿入口：https://openreview.net/group?id=ICML.cc/2026/Workshop/AI4Math
• 邮箱：[email protected]

我们期待在ICML 2026与大家一起讨论如何让AI真正成为可验证、可靠、可进化的科学伙伴。