Talks & Seminars

沈策｜AI-Assisted Mathematical Research（10 月 20 日）

mjj·Nov 4, 2026, 9:52 PM CST·0

沈策 · 北京雁栖湖应用数学研究院（BIMSA）

AI-Assisted Mathematical Research · Past · Hybrid

2026-10-20 13:30 – 16:55 (UTC+08:00)

BIMSA A3-1a-205 / Zoom

#1 · Opening post

北京时间　10 月 20 日（周二）13:30–16:55

历史 Zoom 会议号　435 529 7909　｜　密码　BIMSA

这是沈策《AI-Assisted Mathematical Research》系列课 10 月 20 日的课堂录像。系列课围绕大语言模型、数学软件和 Lean 4 在数学研究中的使用展开。

Manage content