來源：滾動播報

（來源：上觀新聞）

暑期的華東師大校園里

一場關于AI輔助數學科研的

新探索正在展開

在這個炎熱的夏天

閔行校區這間教室里座無虛席

伴隨著鍵盤的敲擊聲

大屏幕上跳動起一行行代碼

與復雜的數學公式

這是華東師大數學科學學院

“基于VeryMath的人工智能

輔助數學研究實踐”的

暑期實踐課堂

2026年是“十五五”規劃的開局之年，在國家全面實施“人工智能+”行動、一體推進教育科技人才發展的戰略指引下，如何推動AI真正融入學科研究和人才培養全過程，成為擺在高校面前的一道必答題。

這個暑期，華東師大數學科學學院交出了一份特殊的答卷——他們不依賴市面上的既有軟件，而是以師生自主研發的輕量化AI輔助數學科研平臺VeryMath開發實踐課程，吸引了眾多師生前來嘗鮮，讓科研范式轉型變得觸手可及。

01

讓AI變成

懂數學科研流程的“專才”

“現在市面上已經有很多成熟的大模型，甚至有專門幫人寫代碼的智能體。但為什么數學科學學院還要自己堅持做全自研、開源的AI工具呢？”

面對疑問，數學科學學院院長劉博道出了初衷：“通用大模型像一位知識面很廣但缺乏專業訓練的助手。數學科研絕不是簡單的‘一問一答’，它有一套自己的程序邏輯，包括文獻調研、計算實驗、猜想生成、驗證例子、組織證明和論文寫作等完整流程。VeryMath并不試圖去替代通用的主流大模型，它是一個專門面向數學科研場景定制的‘裝備庫’。”

也就是說，在VeryMath的加持下，AI可以從樣樣精通的通才，變成更懂數學研究流程的“專才”，更好地服務數學研究。

點擊跳轉VeryMath平臺

據平臺研發者、華東師大數學科學學院王祥豐教授介紹，VeryMath一大特色在于針對性與輕量化。

師生們只需將該工具部署在個人電腦上，即可無縫對接任何大模型API或代碼生成工具，輕松將AI升級為專業的數學研究助手。

它通過任務編排和特有的Agent–Skill–Harness工程框架，把原本分散在外的AI能力串聯起來，精準激發其在數學推理、符號計算、結果驗證等關鍵環節的潛能，讓大模型能夠無限“貼近”數學家的方式去工作。

平臺研發者、華東師大數學科學學院王祥豐教授在實踐課堂

02

把師生的科研經驗

變成開放共創技能

在傳統的數學研究中，一位學者往往有著自己獨特的科研習慣和流程——如何高效整理一類文獻，如何調用特定代碼進行符號計算，如何圍繞一個猜想設計數學實驗去驗證。這些寶貴的經驗和技巧，往往只存在于數學科研工作者的個人頭腦或使用習慣中。

然而，目前已有的數學科研工具往往功能是“寫死”的，給用戶什么，用戶就只能用什么。

但VeryMath的主要優點，在于它的開放性。它能把這些分散的個人經驗固化為可復用的“skill（技能模塊）”。

王祥豐教授表示：“VeryMath是一個全開放、全共創的平臺。在這里，任何老師和同學都可以把自己的有效方法固化為一個可復用、可共享、可迭代的‘skill（技能模塊）’。”

因此，裝上這個工具后，師生不僅是使用者，更是平臺的貢獻者。老師們有了新的idea或解題邏輯，可以迅速將其改造成全新的Skill模塊上傳。其他老師、同學看到后，可以直接調用、修改并持續迭代。

“例如，我們針對一個經典的數學優化方法——交替方向法，做了一些研究工作。長期以來，交替方向法的一個研究痛點是方法中存在一個不容易選擇的超參數，且對問題敏感，一直沒有形成可行的選擇機制。我們基于VeryMath中的AI4Math-Evolving skill和AI4Math-Auto-Research skill，設計得到了一種全新的超參數自動調整機制，并成功應用到稀疏優化、AI訓練optimizer設計等實際應用中。”在談到VeryMath給科研帶來的改變時，碩士研究生徐柯楠深有感觸。

目前，學院師生已經自主開發了“Co-Mathematician（協同數學家）”工作區，還成立“AI4Math（人工智能驅動的數學研究）創新俱樂部”。個體經驗轉化為可共享、可迭代的科研資源，一種屬于AI4Math的協作文化正在學院內部悄然形成。

03

覆蓋數學科研流程全過程

談起使用感受，碩士研究生袁東體會頗深。在他看來，VeryMath中的Skill覆蓋了數學科研流程的完整鏈路。“各類Skill不僅能輔助我梳理研究思路、發現潛在問題，還能處理復雜計算并進行結果驗證。甚至，它還能讓AI參與算法的優化與發掘中，讓探索更加高效、系統。”

而對于經常需要面對復雜交流場景的博士研究生涂卓杰來說，VeryMath帶來的則是更懂“數學語言”的順暢體驗。與單純的AI軟件不同，其針對數學交流場景進行了專門優化。

“在科研的每個階段，與它對話時它都能自動觸發對應skill，從而提供更具針對性的輔助。比如VeryMath中的AI4Math-Paper-Reading skill，在文獻閱讀分析時，該skill可以促使作用的大模型給出的框架更具數學思維，而不是單純的文本交互；在寫作階段，該skill會更明確數學寫作風格，而不像單純使用對話AI時需要常常通過提示詞糾正表達。此外，在解決問題時，VeryMath中co-mathematician工作區也可以保證回答更具準確性，減少了虛構幻覺，讓探討和提問變得更高效。”

平臺提供工具、流程和生動的典型案例，而實踐課程則將這些前沿能力轉化為系統化的真實科研訓練。通過這種人機協同的新方式，引導學生在規范使用AI工具的基礎上，切身去體會和掌握未來數學研究的新范式。

“平臺建設—課程教學—科研訓練—生態培育”，在華東師大數學科學學院，這套全鏈條的育人新模式已然閉環落地。

“但這只是起點，”王祥豐介紹，團隊正面向全院和全校推廣這一工具，鼓勵師生將各學科的最佳數學研究實踐沉淀為新技能，“通過師生共建與交叉賦能，這些科研實踐將在迭代中越來越精準，真正激活AI在數學科研場景中的無限潛力。”

據悉，下學期，數學科學學院還計劃圍繞這一自研工具，面向學院高年級本科生與研究生開設一門名為“數學智能體工程與實踐”的1學分選修課程，促進師生深度轉變科研范式，持續推動協同科研生態建設。

全開源平臺VeryMath

持續升級中

歡迎大家試用

https://verymath.github.io/

來源 | 數學科學學院

圖文、編輯 | 吳瀟嵐