AI4Math ChronicleAI4Math 大事记

AI for Math @ ICML 建立持续性的 AI4Math workshop 系列

该 workshop 系列从建立之初就以面向数学推理与数学发现的 AI 技术为核心。到第三届时，官方统计已记录数百篇投稿与录用论文、多层级 program committee、论文奖项，以及覆盖自动形式化语义对齐、理论计算机科学证明、视觉科学推理与端到端 Lean 证明生成的四个 challenge track。

发生了什么？

首届 AI for Math Workshop 于 2024 年 7 月 26 日在维也纳 ICML 2024 举行。该系列随后以第二届 AI for Math Workshop @ ICML 2025 与 2026 年 7 月 11 日第三届 workshop 持续举办。后续各届通过 OpenReview 进行论文投稿与评审，展示录用研究、设置论文奖项并运行 AI4Math challenges，主题覆盖定理证明、自动形式化、数学推理、科学问题求解与人机协作。

为什么重要？

AI for Math @ ICML 表明 AI4Math 已在大型机器学习会议内部逐步凝结为可识别的研究共同体。其持续性的投稿评审、论文计划与 challenge 基础设施，为非形式推理、形式定理证明和科学 Agent 等工作提供共同 venue，使 AI4Math 的制度化不再依赖单篇论文或单次模型发布。

重要性说明：AI for Math @ ICML 构成领域建构里程碑，因为 2024 年首届 workshop 已发展为持续至 2026 年的三届 ICML 系列，并保持稳定的 AI4Math 身份、投稿评审、OpenReview 记录、论文奖项与持续性 challenge 活动。这些机制共同表明其已经形成组织化学术 venue，而不是依附于通用机器学习会议的一次性 session。

历史脉络

更早进展

—

后续进展

—

相关里程碑

—

主要证据

证据与状态一览

重要性
H2 · 领域里程碑
验证状态
尚属声明
证据等级
E2 · 研究记录
AI 角色
不适用
形式保障
无形式保障

如何理解这些标签？ →

贡献与验证

数学新颖性
不适用
接口
不适用
AI 贡献
本事件记录的是学术 venue 的建立与持续运行，而不是某个 AI 系统执行数学工作，因此不存在适用的具体 AI role。
人类贡献
人类组织者与评审者建立 workshop、构建议程与评审流程、筛选论文和奖项、运行 challenge tracks，并在三届 ICML 中持续维护该系列。
验证状态
尚属声明 · E2 · 研究记录 · 无形式保障
最后审阅
2026-09-14

技术细节

系统
—
机构
icml
数学问题
—
方法
scholarly-venue, ai4math-community, workshop-challenges

全部来源与工件

验证历史

  • 2024-07-26 · 尚属声明 · E2 · 研究记录

    ICML 2024 官方日程记录了 2024 年 7 月 26 日举行的首届 AI for Math Workshop。

  • 2026-09-14 · 尚属声明 · E2 · 研究记录

    2025 与 2026 年官方 workshop 记录明确记载第二、第三届会议、基于 OpenReview 的论文流程、奖项、challenges 与三届历史，由此支持 Chronicle 对该系列持续性的判断。

更正

当前没有记录的更正。