刘抒睿｜Agentic system designs for Mathematics research

北京时间　10 月 29 日（周四）10:00 开始（已结束）

Zoom 会议号　969 8317 5946　　密码　10292026

除了训练模型，怎样通过智能体系统设计提升模型做数学研究的能力？在这场 AI-Assisted Mathematical Research Seminar Series 报告中，斯坦福大学的刘抒睿以 Rethlas、Pharos 和 OSVerify 为例，讨论这些系统如何支持数学推理与验证，以及它们在哪些问题上仍有局限。

原通知仅列开始时间，本条目按一小时估列至 11:00。国家天元数学东南中心原通知 (opens in a new tab)