Andreas Thom｜The challenges we face

北京时间　10 月 7 日（周三）02:00 开始

历史 Zoom 参加方式　主办方通过系列邮件列表 (opens in a new tab)发送入会链接。

Thom 讨论 AI 参与数学发现、推理和形式验证之后，数学研究文化、教学、研究基础设施与贡献认定面临的变化。

日程安排为报告 60 分钟、讨论至少 30 分钟。日历按北京时间 03:30 填写，实际结束时间取决于讨论时长。

主办方公告 (opens in a new tab) · 报告讲义（PDF） (opens in a new tab)