Ken Ono｜Mathematics in the Age of AI: Discovery, Reasoning, Verification, and Unease

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

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

Ono 结合 AI 引导的搜索、长期未解问题上的进展和 Lean 形式化等例子，讨论数学家如何判断结果是否可靠，以及如何认定贡献。

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

主办方公告 (opens in a new tab)