Talks & SeminarsPast
Thomas Kahle｜You are right, and I apologize
北京时间 11 月 4 日（周三）03:00 开始 历史 Zoom 参加方式 主办方通过[系列邮件列表](https://listserv.uni-muenster.de/mailman/listinfo/ai-maths)发送入会链接。 Kahle 从亲身经历讨论 AI 如何改…
Thomas Kahle · Universität Magdeburg
Talks & Seminars
Academic talks, lectures and seminars. Times include the organizer’s UTC offset.
Talks & SeminarsPast
沈策｜AI-Assisted Mathematical Research（11 月 3 日）
[观看本场录像（BIMSA 官方回放）](https://bimsa.net/bimsavideo.html?id=88854.mp4) 北京时间 11 月 3 日（周二）13:30–16:55 历史 Zoom 会议号 435 529 7909 ｜ 密码 BIMSA 这是沈策《A…
沈策 · 北京雁栖湖应用数学研究院（BIMSA）
Talks & SeminarsPast
Ryan O’Donnell｜ETH False（CMU 计算复杂性课程第 18 讲）
[观看 O’Donnell 课堂录像（YouTube，1:19:45）](https://www.youtube.com/watch?v=_HlQGMcQWhA) 活动时间 匹兹堡当地时间 2026-10-29 09:30–10:50。北京时间 2026-10-29 21:30…
Ryan O’Donnell · Carnegie Mellon University
Talks & SeminarsPast
刘抒睿｜Agentic system designs for Mathematics research
北京时间 10 月 29 日（周四）10:00 开始（已结束） Zoom 会议号 969 8317 5946 密码 10292026 除了训练模型，怎样通过智能体系统设计提升模型做数学研究的能力？在这场 AI-Assisted Mathematical Research Semi…
刘抒睿 · 斯坦福大学
Talks & SeminarsPast
Michael Douglas｜AI assistance in complex geometry
北京时间 10 月 28 日（周三）22:00–23:00 历史 Zoom 会议号 949 9974 9212 ｜ 密码 516100 Douglas 介绍两项复几何研究，其中一项把经过验证的数值计算与不动点定理结合起来，用于证明射影超曲面上 Calabi–Yau 度量的存在性。…
Michael Douglas · Harvard University
Talks & SeminarsPast
沈策｜AI-Assisted Mathematical Research（10 月 27 日）
[观看本场录像（BIMSA 官方回放）](https://bimsa.net/bimsavideo.html?id=88853.mp4) 北京时间 10 月 27 日（周二）13:30–16:55 历史 Zoom 会议号 435 529 7909 ｜ 密码 BIMSA 这是沈策《…
沈策 · 北京雁栖湖应用数学研究院（BIMSA）
Talks & SeminarsPast
Ken Ono｜Mathematics in the Age of AI: Discovery, Reasoning, Verification, and Unease
北京时间 10 月 21 日（周三）02:00 开始 历史 Zoom 参加方式 主办方通过[系列邮件列表](https://listserv.uni-muenster.de/mailman/listinfo/ai-maths)发送入会链接。 Ono 结合 AI 引导的搜索、长期未…
Ken Ono · University of Virginia、Axiom Math
Talks & SeminarsPast
沈策｜AI-Assisted Mathematical Research（10 月 20 日）
[观看本场录像（BIMSA 官方回放）](https://bimsa.net/bimsavideo.html?id=88852.mp4) 北京时间 10 月 20 日（周二）13:30–16:55 历史 Zoom 会议号 435 529 7909 ｜ 密码 BIMSA 这是沈策《…
沈策 · 北京雁栖湖应用数学研究院（BIMSA）
Talks & SeminarsPast
陶哲轩与邓煜｜Why We Build Open Math Model（SAIR 访谈）
[观看 SAIR 原版访谈（YouTube，22:46）](https://www.youtube.com/watch?v=TjeCcDkuyao) 录像发布时间（北京时间） 。本条目按 SAIR 在 YouTube 的公开发布时间登记。日历从 10:15 排至 10:38，按片…
陶哲轩（Terence Tao）、邓煜（Yu Deng）
Talks & SeminarsPast
Haocheng Ju｜Semantic Representation and Automated Reasoning for Mathematical Research
北京时间 10 月 20 日（周二）10:00–11:00 历史 Zoom 会议号 966 8762 1310 ｜ 密码 dkumath 报告从数学文献与形式化库中的语义检索出发，讨论如何刻画定理之间的依赖关系，以及如何据此设计处理开放数学问题的智能体。 [主办方公告](http…
Haocheng Ju · 北京大学
Talks & SeminarsPast
陶哲轩｜Math 2.0（UCLA Science × AI Summit）
[观看陶哲轩演讲（YouTube，31:46）](https://www.youtube.com/watch?v=aHpPoNNTOKY) 活动时间 洛杉矶当地时间 2026-10-16 10:30–11:00。北京时间 2026-10-17 01:30 至 02:00。 当可验…
陶哲轩（Terence Tao） · UCLA
Talks & SeminarsPast
Wesley Pegden｜Adventures in Autoformalization (and what’s next)
北京时间 10 月 14 日（周三）22:00–23:00 历史 Zoom 会议号 949 9974 9212 ｜ 密码 516100 Pegden 介绍 Trellis 如何用大语言模型智能体读取 TeX 数学论文，生成 Lean 形式化证明，并讨论这个工具适合处理哪些任务。…
Wesley Pegden · Carnegie Mellon University
1–12 of 22 discussions