Talks & SeminarsPast
沈策｜AI-Assisted Mathematical Research（10 月 13 日）
[观看本场录像（BIMSA 官方回放）](https://bimsa.net/bimsavideo.html?id=88851.mp4) 北京时间 10 月 13 日（周二）13:30–16:55 历史 Zoom 会议号 435 529 7909 ｜ 密码 BIMSA 这是沈策《…
沈策 · 北京雁栖湖应用数学研究院（BIMSA）
Talks & Seminars
Academic talks, lectures and seminars. Times include the organizer’s UTC offset.
Talks & SeminarsPast
陈小杨｜AI for Math：最新进展与未来展望
北京时间 10 月 12 日（周一）16:30–17:30 历史 Zoom 会议号 981 7836 2147 ｜ 密码 dkumath 陈小杨梳理 AI 参与数学研究的几种方式，讨论研究如何从辅助发现数学规律，走向由智能体自主探索数学问题。 [主办方公告](https://zu…
陈小杨 · 同济大学
Talks & SeminarsPast
Christopher Birkbeck｜AI proof discovery and autoformalised libraries
北京时间 10 月 7 日（周三）22:00–23:00 历史 Zoom 会议号 949 9974 9212 ｜ 密码 516100 如何让一次 AI 辅助证明中的引理被其他研究者复用？Birkbeck 以关于 adic spaces 的合作研究为例，介绍将证明形式化并把可复用部…
Christopher Birkbeck · University of East Anglia
Talks & SeminarsPast
数智圆桌｜数学研究与人工智能
[观看本场录像（哔哩哔哩）](https://www.bilibili.com/video/BV1ktpu6sE5o/) 北京时间 10 月 7 日（周三）10:00–12:00（已结束） 线上参加方式（原公告） Zoom 网络研讨会，须[通过主办方链接注册](https://n…
安歆亮、邓煜、董彬、洪乐潼、张瑞祥
Talks & SeminarsPast
Andreas Thom｜The challenges we face
北京时间 10 月 7 日（周三）02:00 开始 历史 Zoom 参加方式 主办方通过[系列邮件列表](https://listserv.uni-muenster.de/mailman/listinfo/ai-maths)发送入会链接。 Thom 讨论 AI 参与数学发现、推理…
Andreas Thom · TU Dresden
Talks & SeminarsPast
Martin Hairer｜What’s Happening With AI in Mathematics?（海德堡论坛短讲）
[观看 Spark Session 整场录像，Hairer 为第一位报告人（YouTube，1:32:33）](https://www.youtube.com/watch?v=2OquT1Z8FFw) 活动时间 海德堡当地时间 2026-09-17 09:45–11:15。北京时…
Martin Hairer（第一位报告人）
Talks & SeminarsPast
海德堡论坛圆桌｜AI in Mathematical Research
[观看完整圆桌（YouTube，1:33:26）](https://www.youtube.com/watch?v=H7_d_sgui6o) 活动时间 海德堡当地时间 2026-09-15 11:00–12:30。北京时间 2026-09-15 17:00 至 18:30。 To…
Michael Harris、Peter Scholze、Jacob Tsimerman、Geordie Williamson；主持 Tony Feng
Talks & SeminarsPast
国际数学家大会圆桌｜AI for Mathematics（ICM 2026）
[观看完整圆桌（YouTube，1:56:42）](https://www.youtube.com/watch?v=pGEGiu4BCxY) 活动时间 费城当地时间 2026-07-25 15:00–17:00。北京时间 2026-07-26 03:00 至 05:00。 Emi…
Matthew Ballard、Bogdan Georgiev、Javier Gómez-Serrano、陶哲轩、Geordie Williamson；主持 Emily Riehl
Talks & SeminarsPast
Kevin Buzzard｜What is the point of formalisation?
[观看 Rutgers 讨论班录像（YouTube，1:17:33）](https://www.youtube.com/watch?v=wnTvniuZJtk) 活动时间 美国新泽西州当地时间 2026-02-04 10:00–11:00。北京时间 2026-02-04 23:0…
Kevin Buzzard · Imperial College London
Talks & SeminarsPast
牛津数学公开课｜Deep Maths：机器学习如何帮助发现数学猜想
[观看四段短讲及圆桌（YouTube，1:29:43）](https://www.youtube.com/watch?v=wbJQTtjlM_w) 活动时间 牛津当地时间 2022-03-17 17:00–18:15。北京时间 2022-03-18 01:00 至 02:15。…
Alex Davies、Geordie Williamson、András Juhász、Marc Lackenby；主持 Jon Keating
13–22 of 22 discussions