本档案提供中英文编译，含 AI 辅助翻译；尚未经独立人工审校。请结合原语言来源核对。
Société Mathématique de France
访问原始来源 (FR)https://smf.emath.fr/node/3693205
核读定位Reading location
54—90行活动正文、议程和日期；尤其68—77行。
研究注
官方议程全文已核。2026-06-18为计划活动日，网页首发及实际举行未核；共享参考材料链接404。Massot摘要中强烈批评生成AI，不能当作SMF统一禁令；Lean证明助手与生成AI区分。
存档状态Capture status
尚未记录已核验的网页快照。原始链接可能随时间变更；访问日期不等于历史版本日期。
引用此来源的事件Events citing this source
SMF安排AI与大学数学学习讨论
议程列Patrick Massot关于形式化数学及生成AI的批评性报告、教学评价与研究培养圆桌，并计划比较院系AI章程。
引用本条目Cite this record
ANTI-AI ARCHIVE. “AI时代的大学数学学习.” src-0370. 访问时请注明本页链接与访问日期。