数学科研搭子来了！华东师大自研VeryMath上线|华东师大|数学|研究生|科学|课程体系

来源：滚动播报

（来源：上观新闻）

暑期的华东师大校园里

一场关于AI辅助数学科研的

新探索正在展开

在这个炎热的夏天

闵行校区这间教室里座无虚席

伴随着键盘的敲击声

大屏幕上跳动起一行行代码

与复杂的数学公式

这是华东师大数学科学学院

“基于VeryMath的人工智能

辅助数学研究实践”的

暑期实践课堂

2026年是“十五五”规划的开局之年，在国家全面实施“人工智能+”行动、一体推进教育科技人才发展的战略指引下，如何推动AI真正融入学科研究和人才培养全过程，成为摆在高校面前的一道必答题。

这个暑期，华东师大数学科学学院交出了一份特殊的答卷——他们不依赖市面上的既有软件，而是以师生自主研发的轻量化AI辅助数学科研平台VeryMath开发实践课程，吸引了众多师生前来尝鲜，让科研范式转型变得触手可及。

让AI变成

懂数学科研流程的“专才”

“现在市面上已经有很多成熟的大模型，甚至有专门帮人写代码的智能体。但为什么数学科学学院还要自己坚持做全自研、开源的AI工具呢？”

面对疑问，数学科学学院院长刘博道出了初衷：“通用大模型像一位知识面很广但缺乏专业训练的助手。数学科研绝不是简单的‘一问一答’，它有一套自己的程序逻辑，包括文献调研、计算实验、猜想生成、验证例子、组织证明和论文写作等完整流程。VeryMath并不试图去替代通用的主流大模型，它是一个专门面向数学科研场景定制的‘装备库’。”

也就是说，在VeryMath的加持下，AI可以从样样精通的通才，变成更懂数学研究流程的“专才”，更好地服务数学研究。

点击跳转VeryMath平台

据平台研发者、华东师大数学科学学院王祥丰教授介绍，VeryMath一大特色在于针对性与轻量化。

师生们只需将该工具部署在个人电脑上，即可无缝对接任何大模型API或代码生成工具，轻松将AI升级为专业的数学研究助手。

它通过任务编排和特有的Agent–Skill–Harness工程框架，把原本分散在外的AI能力串联起来，精准激发其在数学推理、符号计算、结果验证等关键环节的潜能，让大模型能够无限“贴近”数学家的方式去工作。

平台研发者、华东师大数学科学学院王祥丰教授在实践课堂

把师生的科研经验

变成开放共创技能

在传统的数学研究中，一位学者往往有着自己独特的科研习惯和流程——如何高效整理一类文献，如何调用特定代码进行符号计算，如何围绕一个猜想设计数学实验去验证。这些宝贵的经验和技巧，往往只存在于数学科研工作者的个人头脑或使用习惯中。

然而，目前已有的数学科研工具往往功能是“写死”的，给用户什么，用户就只能用什么。

但VeryMath的主要优点，在于它的开放性。它能把这些分散的个人经验固化为可复用的“skill（技能模块）”。

王祥丰教授表示：“VeryMath是一个全开放、全共创的平台。在这里，任何老师和同学都可以把自己的有效方法固化为一个可复用、可共享、可迭代的‘skill（技能模块）’。”

因此，装上这个工具后，师生不仅是使用者，更是平台的贡献者。老师们有了新的idea或解题逻辑，可以迅速将其改造成全新的Skill模块上传。其他老师、同学看到后，可以直接调用、修改并持续迭代。

“例如，我们针对一个经典的数学优化方法——交替方向法，做了一些研究工作。长期以来，交替方向法的一个研究痛点是方法中存在一个不容易选择的超参数，且对问题敏感，一直没有形成可行的选择机制。我们基于VeryMath中的AI4Math-Evolving skill和AI4Math-Auto-Research skill，设计得到了一种全新的超参数自动调整机制，并成功应用到稀疏优化、AI训练optimizer设计等实际应用中。”在谈到VeryMath给科研带来的改变时，硕士研究生徐柯楠深有感触。

目前，学院师生已经自主开发了“Co-Mathematician（协同数学家）”工作区，还成立“AI4Math（人工智能驱动的数学研究）创新俱乐部”。个体经验转化为可共享、可迭代的科研资源，一种属于AI4Math的协作文化正在学院内部悄然形成。

覆盖数学科研流程全过程

谈起使用感受，硕士研究生袁东体会颇深。在他看来，VeryMath中的Skill覆盖了数学科研流程的完整链路。“各类Skill不仅能辅助我梳理研究思路、发现潜在问题，还能处理复杂计算并进行结果验证。甚至，它还能让AI参与算法的优化与发掘中，让探索更加高效、系统。”

而对于经常需要面对复杂交流场景的博士研究生涂卓杰来说，VeryMath带来的则是更懂“数学语言”的顺畅体验。与单纯的AI软件不同，其针对数学交流场景进行了专门优化。

“在科研的每个阶段，与它对话时它都能自动触发对应skill，从而提供更具针对性的辅助。比如VeryMath中的AI4Math-Paper-Reading skill，在文献阅读分析时，该skill可以促使作用的大模型给出的框架更具数学思维，而不是单纯的文本交互；在写作阶段，该skill会更明确数学写作风格，而不像单纯使用对话AI时需要常常通过提示词纠正表达。此外，在解决问题时，VeryMath中co-mathematician工作区也可以保证回答更具准确性，减少了虚构幻觉，让探讨和提问变得更高效。”

平台提供工具、流程和生动的典型案例，而实践课程则将这些前沿能力转化为系统化的真实科研训练。通过这种人机协同的新方式，引导学生在规范使用AI工具的基础上，切身去体会和掌握未来数学研究的新范式。