數(shù)學(xué)推理正在成為通往下一代科學(xué)智能體的重要入口。

數(shù)學(xué)推理正在成為通往下一代科學(xué)智能體的重要入口。隨著大語言模型、形式化證明與多模態(tài)推理的快速進(jìn)展，AI 系統(tǒng)已經(jīng)在 IMO 級證明、自然語言數(shù)學(xué)推理與科學(xué)問題求解上展現(xiàn)出令人矚目的能力。

在這樣的背景下，本屆Workshop 將于 2026 年 7 月 10 日在韓國首爾 Coex Convention & Exhibition Center 舉辦。我們以 “Toward Self-Evolving Scientific Agents” 為主題，面向?qū)W界與產(chǎn)業(yè)界研究者，聚焦 AI 如何從“會做題、會證明”進(jìn)一步走向“會驗(yàn)證、會跨模態(tài)、會跨學(xué)科、會自我改進(jìn)”，并最終服務(wù)真實(shí)的科學(xué)發(fā)現(xiàn)。

AI for Math Workshop 已連續(xù)在 ICML 2024 與 ICML 2025 成功舉辦，并持續(xù)推動數(shù)學(xué)推理、形式化證明與科學(xué)問題求解方向的交流。往屆 workshop 中產(chǎn)生了諸如PutnamBench 與 Limit of RLVR 等代表性工作；系列挑戰(zhàn)賽也累計(jì)吸引了超過2000支來自全球各地頂尖機(jī)構(gòu)的參賽隊(duì)伍。2026 年的新一屆 workshop 將進(jìn)一步把討論從“數(shù)學(xué)能力”拓展到“自進(jìn)化科學(xué)智能體”。

我們聚焦于：

形式化定理證明：如何讓 LLM 支持真實(shí)的數(shù)學(xué)研究與教學(xué)，并自主提出并解決創(chuàng)新猜想？

精確自動形式化：如何確保自然語言數(shù)學(xué)到形式語言翻譯的忠實(shí)性？

自然語言數(shù)學(xué)推理：純自然語言 Pipeline 下的前沿性能與驗(yàn)證 。

科學(xué)問題解決：數(shù)學(xué)推理能力如何遷移至理論計(jì)算機(jī)科學(xué)與物理學(xué)等領(lǐng)域？

多模態(tài)推理：視覺信息在數(shù)學(xué)與科學(xué)推理中的應(yīng)用 。

驗(yàn)證和測評：面向 AI 生成證明、解答與科學(xué)結(jié)論的評測、faithfulness 與正確性驗(yàn)證

人機(jī)協(xié)作：服務(wù)科學(xué)研究的人機(jī)協(xié)作、交互工具與工作流。

AI科學(xué)家：面向系統(tǒng)科學(xué)、邏輯學(xué)、經(jīng)濟(jì)學(xué)、生物信息學(xué)等方向的科學(xué)智能體。

四項(xiàng)Challenge Track

? Track 1: 自動形式化的語義對齊評估

? Track 2: Lean 中的理論計(jì)算機(jī)科學(xué)證明

? Track 3: 基于視覺感知的物理問題

? Track 4: 端到端自動形式化與定理證明

已確認(rèn)演講嘉賓

重要日期

? Paper Submission Deadline：2026/5/25 (AOE)

? Paper Decision Notification: 2026/6/15

? Camera-ready Deadline: 2026/6/25

? Challenge Open: 2026/5/1

? Challenge Deadline: 2026/6/15

? Workshop Date: 2026/7/10 or 2026/7/11

投稿類型與要求

? 論文格式：2-8 pages，參考文獻(xiàn)與補(bǔ)充材料不限頁；

? 需使用 ICML 2026 格式，使用OpenReview 雙盲評審。本次Workshop為

non-archival形式。

? 錄用論文以 poster 展示為主；部分優(yōu)秀論文將受邀進(jìn)行contributed talk。

? 鼓勵 challenge 參與者同步提交技術(shù)報(bào)告；獲獎隊(duì)伍需在結(jié)果公布后開源代碼以便驗(yàn)證。

歷年活動剪影

組織團(tuán)隊(duì)

投稿入口會議信息

? Workshop 官網(wǎng): https://ai4math2026.github.io/

? OpenReview 投稿入口:

https://openreview.net/group?id=ICML.cc/2026/Workshop/AI4Math

? 郵箱: ai4mathicml@gmail.com

歡迎大家關(guān)注和參與本workshop。我們期待在 ICML 2026 與大家一起討論如何讓 AI 真正成為可驗(yàn)證、可靠、可進(jìn)化的科學(xué)伙伴。

未經(jīng)「AI科技評論」授權(quán)，嚴(yán)禁以任何方式在網(wǎng)頁、論壇、社區(qū)進(jìn)行轉(zhuǎn)載！

公眾號轉(zhuǎn)載請先在「AI科技評論」后臺留言取得授權(quán)，轉(zhuǎn)載時需標(biāo)注來源并插入本公眾號名片。