AI4Math ChronicleAI4Math 大事记

AI for Math @ ICML establishes a recurring AI4Math workshop series

The workshop series was created specifically around AI technologies for mathematical reasoning and discovery. By its third edition, the venue reported hundreds of submissions and accepted papers, a multi-level program committee, paper awards and four challenge tracks covering autoformalization…

What happened?

The first AI for Math Workshop was held at ICML 2024 in Vienna on 26 July 2024. The series returned as the 2nd AI for Math Workshop at ICML 2025 and the 3rd edition at ICML 2026 on 11 July 2026. Across the later editions it used OpenReview-based paper submission and review, presented accepted research, awarded papers and operated AI4Math challenges, while focusing on theorem proving, autoformalization, mathematical reasoning, scientific problem solving and human-AI collaboration.

The workshop series was created specifically around AI technologies for mathematical reasoning and discovery. By its third edition, the venue reported hundreds of submissions and accepted papers, a multi-level program committee, paper awards and four challenge tracks covering autoformalization alignment, theoretical-computer-science proving, visual scientific reasoning and end-to-end Lean proof generation.

Why it matters

AI for Math @ ICML shows the consolidation of AI4Math as a recognizable research community inside a major machine-learning conference. Its recurring review process, paper program and challenge infrastructure provide a venue for work that spans informal reasoning, formal theorem proving and scientific agents, helping institutionalize AI4Math beyond individual papers or model releases.

Significance rationale: AI for Math @ ICML is a field-building milestone because the 2024 inaugural workshop developed into three consecutive ICML editions through 2026 with a stable AI4Math identity, reviewed submissions, OpenReview records, paper awards and recurring challenge activity. That combination provides evidence of an organized scholarly venue rather than a one-off session attached to a general machine-learning conference.

Historical context

Earlier developments

—

Later developments

—

Related milestones

—

Primary evidence

Evidence & status at a glance

Significance
H2 · Field milestone
Verification
Claimed
Evidence level
E2 · Research record
AI role
Not applicable
Formal assurance
No formal assurance

How should these labels be read? →

Contribution & verification

Mathematical novelty
Not applicable
Interface
Not applicable
AI contribution
This Event records the establishment and continuity of a scholarly venue rather than an AI system performing mathematical work, so an operative AI role is not applicable.
Human contribution
Human organizers and reviewers established the workshop, built the program and review process, selected papers and awards, operated challenge tracks and sustained the series across three ICML editions.
Verification
Claimed · E2 · Research record · No formal assurance
Last reviewed
2026-09-14

Technical details

Systems
—
Organizations
icml
Problems
—
Methods
scholarly-venue, ai4math-community, workshop-challenges

Sources & artifacts

Verification history

  • 2024-07-26 · Claimed · E2 · Research record

    The official ICML 2024 schedule records the inaugural AI for Math Workshop on 26 July 2024.

  • 2026-09-14 · Claimed · E2 · Research record

    The official 2025 and 2026 workshop records document the second and third editions, OpenReview-based paper workflow, awards, challenges and a three-edition history, supporting the Chronicle's durability assessment.

Corrections

No corrections recorded.