北京
導語
近年來，大語言模型、自動定理證明、形式化數學等方向快速發展，AI 正逐步進入數學研究與科學計算的各個環節。從輔助猜想生成、證明搜索，到數學建模、科學計算，再到量子計算、工業軟件等硬科技場景，AI for Math 正在不斷拓展數學研究與應用的邊界。
在 AI for Math 第一季讀書會的基礎上，我們希望開啟第二季，進一步聚焦 AI 在數學研究中的理論探索與實際應用，共同討論 AI 如何參與數學發現、數學建模以及復雜科學問題的求解。本期讀書會現公開招募發起人與主講人，歡迎具有相關研究、開發或實踐經驗的伙伴加入，共同推動 AI for Math 方向的交流與探索。
AI for Math：理論、工具、創造性與應用
本讀書會將圍繞AI for Math 的理論與應用展開，既關注基礎數學中的 AI 輔助研究，也關注數學能力在硬科技和工程場景中的落地。
我們歡迎但不限于以下方向的分享。
1.AI 在基礎數學研究中的應用
基礎數學研究往往始于對新結構的洞察，展開于有價值猜想的提出，并最終落實為證明、反例或新的理論框架。隨著 AI 推理、搜索與形式化驗證工具的發展，這些高度依賴人類直覺與經驗的環節，正在出現新的協作方式。
可能的研究方向包括：
AI 輔助猜想生成與模式發現
自動定理證明與交互式定理證明
大模型與 Lean 等形式化工具的結合
面向數學研究的智能體系統與工作流
AI 參與證明搜索、反例構造、結構類比與概念遷移
數學知識圖譜與數學語料庫構建
數學創造性、直覺與機器推理能力的關系
我們尤其關注這樣的問題：
AI是否能夠幫助數學家看到傳統思路難以發現的結構？在研究的哪些具體環節中它們帶來了改變？
2.AI 在應用數學與科學建模中的作用
應用數學與科學建模都處在數學、計算與現實問題的交匯處。前者關注理論方法、算法工具與求解體系，后者關注如何從科學現象、工程場景和實驗數據中建立模型、解釋機制。AI 的引入，可能正在影響從問題理解、模型構建到計算求解和結果解釋的多個環節。
可能的研究方向包括但不限于：
AI 輔助數學建模與模型發現
AI for PDE / ODE / SDE 與科學計算
優化、控制與復雜系統分析
多尺度、多物理場與高維系統建模
我們希望討論的不只是 AI 能不能“算”，而是它如何真正進入應用數學與科學建模的研究過程：
它能否幫助研究者從現象中提煉機制、從數據中形成模型，并在求解、驗證和解釋環節帶來實質改變？
3.AI for Math 在硬科技領域中的應用
AI for Math 的一個重要方向，是讓高度抽象的數學能力進入硬科技的實際研發流程中。這意味著數學推理、建模、驗證等能力需要在復雜、真實的工程問題中發揮作用。
特別歡迎以下方向的主講人：
量子計算與量子信息，例如線路優化和形式化驗證等
工業軟件與工程建模，例如仿真和PDE 建模等
科學計算、材料、芯片、機器人等需要數學建模與計算驗證的領域
我們希望更多關注真實應用場景中的問題，讓 AI for Math 不止停留在論文與 demo，而是真正服務于硬科技研發中的建模、計算、驗證與優化問題。
4.大模型的數學創造性思維
當前大模型已經展現出一定的數學推理與證明生成能力，但距離真正的數學創造仍有明顯距離。什么是好的數學想法？如何評估一個猜想的價值？這些問題需要在實踐中不斷探索。
可以圍繞以下問題展開討論：
什么是"數學創造性"？它能否被定義、測量、訓練？
"直覺"在數學探索中意味著什么？它與人類數學家的直覺有何差別？
如何讓模型提出有價值的猜想，而不是只生成形式上合理的內容？
我們期待的不只是工具展示，而是對數學發現過程本質的追問與討論。
招募令
【發起人】
我們希望你對AI for Math方向有持續興趣，愿意共同策劃和推動本期讀書會。
你可以是數學、應用數學、人工智能、計算機、物理、量子信息、科學計算、工業軟件、工程建模等理工科相關背景的研究者、博士生、工程師、教師或產業實踐者。
作為發起人，你將參與：
共同設計讀書會主題與議程；
推薦和邀請相關方向主講人；
參與主持、提問、討論和總結；
共同沉淀 AI for Math 的論文清單、工具地圖、案例庫與開放問題。
我們希望發起人不僅是組織者，也是在這個前沿方向中共同提出問題、連接資源、推動討論的人。
【主講人】
我們歡迎已經在AI for Math相關方向有研究、開發或實踐經驗的主講人加入。
主講人需具備以下條件：
熟練使用或開發過 AI for Math 相關工具，例如大語言模型數學推理工具、自動定理證明工具、形式化證明系統、數學智能體、科學計算或工程建模工具等；
在基礎數學、應用數學、科學計算、人工智能、物理、工程建模、量子計算、工業軟件等相關領域取得過研究成果或實踐成果；
具備理工科專業背景；
能夠圍繞具體論文、工具、項目或研究案例進行深入分享。
曾經在集智俱樂部讀書會分享過的講者優先選擇
招募人
陳小楊，同濟大學數學科學學院長聘副教授，國家級青年人才獲得者。主要研究方向：AI for Math。曾主持國自然基金青年，面上各一項。在Geometry & Topology, Advances in Mathematics, Mathematische Annalen , Mathematische Zeitschrift 等知名期刊發表多篇學術論文，并獲得2019 年世界華人數學家聯盟最佳論文獎（若琳獎）。陳小楊老師還在集智俱樂部發起了人工智能與數學讀書會，訓練了面向大學生與研究人員的數學大模型，促進了人工智能與數學的交叉融合。
集智讀書會專屬權益
針對發起人：
榮譽認可：由集智科學研究中心頒發公益服務證明，銘記您的貢獻。
實在回饋：贈10個參與名額（價值2990元）、一年VIP權益（3299元）、年度大禮包、線下年會贈票。
更多機會：優先聘任為講師、優先宣發科研成果，與社區共同成長。
針對主講人：
榮譽認可：由集智科學研究中心頒發公益服務證明，銘記您的貢獻。
實在回饋：本期免費參與
更多機會：可成長為發起人
報名方式
掃碼或點擊鏈接：https://campus.swarma.org/form/activity/189，附上您對AI for Math的初步見解。
主辦方
集智科學研究中心 (Swarma Research)
集智科學研究中心是一家注冊于中國的民辦非企業單位（獨立科研機構），獲評中國3A級社會組織，是集智俱樂部的主體單位。
集智俱樂部自2003年起源至今，已走過二十余年的學術探索歷程。作為中國歷史最悠久、最具活力的跨學科學術社區之一，我們致力于復雜系統、人工智能的前沿交叉研究。
我們的核心理念是營造跨學科探索小生境，催化復雜性科學新理論。作為經國家權威認證的3A級社會組織，中心不僅具備規范的學術運營體系，更匯聚了來自清華大學、北京大學、北京師范大學等高校的教授與研究員，并通過集智斑圖線上平臺凝聚了全球近30萬對復雜科學充滿熱情的研究者、工程師與青年學者。
我們相信，靈感的涌現往往發生在學科的邊界之上。
關于集智讀書會 (Swarma Reading Group)
集智讀書會是集智科學研究中心發起的最核心、最活躍的學術交流形式。它并非傳統意義上的“讀書”，而是一個高強度的線上研討會 (Intensive Online Seminar)。自2008年正式以讀書會形式組織活動以來，我們已經成功舉辦了200期主題式讀書會，主題涵蓋從人工智能、復雜系統、統計物理、因果科學、生命復雜性到大模型的理論基礎。
形式：每周一次的線下或線上會議，參與者通常需提前精讀論文。
語言：根據主講嘉賓情況，我們廣泛使用中英雙語進行交流。我們擁有大量具備國際背景的參與者，完全具備直接進行英文學術討論的能力。
氛圍：我們推崇“真刀真槍”的學術討論。在這里，博士生、教授與工業界的研究員在公式推導和思想碰撞中處于平等地位。
推薦讀書會
人工智能與數學讀書會
數十年來，人工智能的理論發展和技術實踐一直與科學探索相伴而生，尤其在以大模型為代表的人工智能技術應用集中爆發的當下，人工智能正在加速物理、化學、生物等基礎科學的革新，而這些學科也在反過來啟發人工智能技術創新。在此過程中，數學作為兼具理論屬性與工具屬性的重要基礎學科，與人工智能關系甚密，相輔相成。一方面，人工智能在解決數學領域的諸多工程問題、理論問題乃至圣杯難題上屢創記錄。另一方面，數學持續為人工智能構筑理論基石并拓展其未來空間。這兩個關鍵領域的交叉融合，正在揭開下個時代的科學之幕。
為了探索數學與人工智能深度融合的可能性，集智俱樂部聯合同濟大學特聘研究員陳小楊、清華大學交叉信息學院助理教授袁洋、南洋理工大學副教授夏克林三位老師，共同發起“人工智能與數學”讀書會，希望從 AI for Math，Math for AI 兩個方面深入探討人工智能與數學的密切聯系。讀書會已完結，現在報名可加入社群并解鎖回放視頻權限。
詳情請見：
報名讀書會：「Vibe Modeling」
集智俱樂部聯合同濟大學長聘副教授陳小楊和北京林業大學副教授李周園共同發起，將在集體實踐中探索 vibe modeling 在不同領域的通用模式與特殊需求，沉淀可復用的提示策略、評估方法與工作流，為這一范式搭建早期社區基礎，助力 AI 賦能的跨學科研究與人才培養落地。
讀書會自2026年5月17日起，每周日下午14:00-16:00線上開展，持續10周，包含主講分享與討論交流，并提供會后視頻回放，誠邀相關領域研究者及跨學科興趣者參與。
掃描海報中二維碼報名參加讀書會
詳情請見：
特別聲明：以上內容(如有圖片或視頻亦包括在內)為自媒體平臺“網易號”用戶上傳并發布，本平臺僅提供信息存儲服務。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
