【AI4Math研讨会预告】刘抒睿（斯坦福）:面向数学研究的智能体系统设计2026-10-29（周四上午10:00）

★置顶zzllrr小乐公众号，追踪《小乐数学科普》系列报道，参与数学 vs AI投票！

坚持不炒作的数学与AI报道，投稿信箱zzllrr@gmail.com

AI4Math（AI辅助数学研究）系列研讨会

面向数学研究的智能体系统设计

Agentic system designs for Mathematics research

报告人：刘抒睿（斯坦福大学）

时间：2026年10月29日（周四上午）10:00（北京时间）

Zoom ID：969 8317 5946

报告摘要：

人工智能在数学研究中已展现出重要应用，且仍在快速发展。除了模型训练之外，智能体系统设计（亦被笼统地称为"harness"）能够提升基础模型的数学研究能力。本报告将以上述Rethlas、Pharos和OSVerify为例，阐释"harness"背后的理念，并通过具体实例说明其重要性与局限性。

主讲人简介：

刘抒睿（北大数院2018级本科生）是斯坦福大学的数学博士研究生及计算机科学辅修博士生，导师为朱歆文教授。他于2022年在北京大学获得数学学士学位。他的研究方向包括几何表示论、范畴化朗兰兹纲领以及人工智能在数学中的应用。他是Rethlas、Danus、Pharos 和 OSVerify 的共同开发者，这些是用于数学推理与验证的智能体系统。

本报告为国家天元东南数学中心和昆山杜克大学联合组织的，活动预告由厦门大学马家骏教授投递（感谢）。

求点赞

求分享

求喜欢

参考资料

AI-Assisted Mathematical Research Seminar Series——Agentic system designs for Mathematics research

https://tianyuan.xmu.edu.cn/cn/zxhd/xsbg.htm

https://srliu.com/zh/

https://math.pku.edu.cn/xyxw/117393.htm

https://tianyuan.xmu.edu.cn/cn/info/1701/25535.htm

https://arxiv.org/html/2601.13209v5

小乐数学科普历年合集

《小乐数学科普》2026年Q3精选文章目录

zzllrr小乐微信公众号栏目《小乐数学科普》2026年6月文章精选

zzllrr小乐微信公众号《小乐数学科普》2026年5月文章精选

《小乐数学科普》2026年4月文章精选

2026Q1《小乐数学科普》精选文章合集目录

近三月《小乐数学科普》精选文章合集目录202512—202602

2026年01月《小乐数学科普》精选文章合集目录索引

2025年《小乐数学科普》精选文章合集目录索引

《小乐数学科普》2024年合集

· 开放 · 友好 · 多元 · 普适 · 守拙 ·

让数学

更加

易学易练

易教易研

易赏易玩

易见易得

易传易及

欢迎评论、点赞、在看、在听

收藏、分享、转载、投稿

点击左下角 阅读原文

查看原始文章出处

点击底部一起捐

助力腾讯公益

点击zzllrr小乐

公众号主页

右上角

置顶★加星

数学科普不迷路！

原标题：《【AI4Math研讨会预告】刘抒睿（斯坦福）:面向数学研究的智能体系统设计2026-10-29（周四上午10:00）》

阅读原文