2026浙大AI数学夏令营：免费免宿

2026年度浙江大学

暑期研修：AI4MATH

课程详情

大语言模型正在重塑数学家的日常工作流程，无论是提出猜想还是验证证明，AI 都已成为科研的得力助手，其中 Lean 工具更是备受推崇。本届暑期学校聚焦 Lean 形式化数学，全面覆盖从类型论基础到元编程的技术体系，并融合大语言模型等尖端 AI 技术，旨在探索利用 AI 重构数学科研与教学的新路径，现面向全国高校学子招募。

开课时间

暑期课程：2026 年 7 月 13 日 - 7 月 20 日

成果汇报：2026 年 7 月 21 日

举办地点

浙江大学数学高等研究院

班级设置

为满足不同水平学员需求，特设入门班与进阶班两个平行班级，每班仅限招收 30 名学生。

入门班

授课内容：类型论基础及 Lean4 入门

授课老师：王铎磊、颜富彬（香港中文大学（深圳））；李一哲（厦门大学）

进阶班

授课内容：Lean4 元编程技术

授课老师：董安杰（香港中文大学（深圳））；王语同、徐天一（北京大学）

报名途径

报名方式：扫描二维码

报名时间：即日起至 2026 年 4 月 30 日 16:00

面向非杭州籍学员提供住宿支持，名额有限，需通过筛选后方可确认录取。

咨询电话：0571-88208763

数据