Talks & SeminarsUpcoming
易圣伦｜A Game-Theoretic Approach to Robust State Estimation
北京时间 11 月 5 日（周四）15:00–16:00 Zoom 会议号 641 3518 1073 ｜ 公告未列密码 当状态空间模型存在误差时，如何估计系统的真实状态？易圣伦将模型不确定性视为博弈中的对手，从线性系统讲到非线性系统，并以无人机导航为应用实例。中文报告。 [中科…
易圣伦 · 国防科技大学
Talks & Seminars
Academic talks, lectures and seminars. Times include the organizer’s UTC offset.
Talks & SeminarsUpcoming
Rene Marczinzik｜An introduction to finite-dimensional Auslander-Gorenstein algebras
北京时间 11 月 5 日（周四）16:30–17:30 Zoom 会议号 725 329 7593 ｜ 密码 mcm1234 报告将介绍有限维 Auslander–Gorenstein 代数的近期进展，重点讨论如何把这类代数的同调问题转化为线性代数问题。英语报告。 [中科院数学…
Rene Marczinzik · University of Bonn
Talks & SeminarsUpcoming
Valentin Blomer｜A Quasi Riemann Hypothesis
北京时间 11 月 6 日（周五）00:00–01:00 Zoom 入会｜[免费注册](https://www.ntwebseminar.org/registration) 主办方会在开讲前几小时向已注册者发送本场专属 Zoom 链接。 Blomer 将讲解 OpenAI 发布的…
Valentin Blomer · University of Bonn
Talks & SeminarsUpcoming
Lawren Smithline｜Permutation Wordle
北京时间 11 月 6 日（周五）06:00–07:00 Zoom 会议号 951 0338 3827 ｜ 密码 6564120420 [一键加入 Zoom](https://rutgers.zoom.us/j/95103383827) 如果 Wordle 要猜的是一个排列，而每…
Lawren Smithline · Center for Communication Research, Princeton
Talks & SeminarsUpcoming
小泉淳之介｜Collaborative Research with AI: Hyperplane Arrangements and Magnitude
北京时间 11 月 6 日（周五）14:00–15:30 Zoom 参加方式 限科研人员。非成员且与该活动无直接关联的研究者，请先到[主办方活动页](https://ithems.riken.jp/en/events/collaborative-research-with-ai-…
小泉淳之介（Junnosuke Koizumi） · RIKEN iTHEMS
Talks & SeminarsUpcoming
许超｜Exploring the Design Space of Mathematical Agents
北京时间 11 月 6 日（周五）15:00–16:00（结束时间暂定） Zoom 会议号 959 0868 0371 密码 11062026 在相同的 token 预算下，怎样让数学智能体解出更多问题？电子科技大学的许超将结合团队开发数学智能体的经验，介绍支撑语言模型持续解题的…
许超 · 电子科技大学
Talks & SeminarsUpcoming
CCF 决策智能会议（RLChina 2026）
2026 年 11 月 7–13 日，CCF 决策智能会议在上海交通大学徐汇校区举行，由中国计算机学会（CCF）主办，CCF 计算经济学专业委员会与上海交通大学人工智能学院承办。 11 月 7–8 日 · 学术论坛 7 日 09:00 在文治堂开幕。论坛议题包括强化学习理论、序列…
汪军、杨耀东等多位报告人
Talks & SeminarsUpcoming
722 之后，数学如何回应？—— AI for Math 线下闭门交流会
围绕 OpenAI 发布的 722 份数学手稿，本场交流会讨论其中的数学成果、引发的争议，以及 AI 参与数学研究的方式。 主讲嘉宾 董彬、马滟青、陆一平、周默、刘默雷 圆桌讨论 朱小华、訚琪峥、刘保平、李欣意 时间与地点 2026 年 11 月 7 日（周六）14:00–18:…
董彬、马滟青、陆一平、周默、刘默雷
Talks & SeminarsUpcoming
沈策｜AI-Assisted Mathematical Research（11 月 10 日）
北京时间 11 月 10 日（周二）13:30–16:55 Zoom 会议号 435 529 7909 ｜ 密码 BIMSA [一键加入 Zoom](https://us02web.zoom.us/j/4355297909?pwd=RGs4b0pQSmJMRkRveWJ2eHUx…
沈策（Ce Shen） · 北京雁栖湖应用数学研究院（BIMSA）
Talks & SeminarsUpcoming
Michail Karatarakis｜Formalizing Mathematics in Lean with AI（第 1 讲）
北京时间 11 月 10 日（周二）22:00 至次日 00:00 线上参加 请在 11 月 8 日 前通过[CRM 课程页](https://www.crm.cat/formalizing-mathematics-in-lean-with-ai-2/)报名。主办方会在开课前把线…
Michail Karatarakis · Radboud University Nijmegen、Axiomatic AI
Talks & SeminarsUpcoming
Michail Karatarakis｜Formalizing Mathematics in Lean with AI（第 2 讲）
北京时间 11 月 12 日（周四）22:00 至次日 00:00 线上参加 请在 11 月 8 日 前通过[CRM 课程页](https://www.crm.cat/formalizing-mathematics-in-lean-with-ai-2/)报名。主办方会在开课前把线…
Michail Karatarakis · Radboud University Nijmegen、Axiomatic AI
Talks & SeminarsUpcoming
Myrto Mavraki｜Dynamical relations and uniformity
北京时间 11 月 13 日（周五）00:00–01:00 Zoom 入会｜[免费注册](https://www.ntwebseminar.org/registration) 主办方会在开讲前几小时向已注册者发送本场专属 Zoom 链接。 报告讨论有理映射之间代数关系的一致界，以…
Myrto Mavraki · University of Toronto
1–12 of 18 discussions