本档案提供中英文编译，含 AI 辅助翻译；尚未经独立人工审校。请结合原语言来源核对。
已核读来源的元数据与链接；不表示保存原件。
文献编目与链接
材料说明Material description
官方议程全文已核。2026-06-18为计划活动日，网页首发及实际举行未核；共享参考材料链接404。Massot摘要中强烈批评生成AI，不能当作SMF统一禁令；Lean证明助手与生成AI区分。
研究注
本页提供编目信息与来源链接。未展示的原文、音视频或图像，不代表已取得副本或转载许可。
来源与原文Sources & original material
关联事件Related events
SMF安排AI与大学数学学习讨论
议程列Patrick Massot关于形式化数学及生成AI的批评性报告、教学评价与研究培养圆桌，并计划比较院系AI章程。
关联案例Related cases
引用本条目Cite this record
ANTI-AI ARCHIVE. “AI时代的大学数学学习.” doc-0358. 访问时请注明本页链接与访问日期。