INRIA 研究员将于 ENS 报告「作为实验科学的数学」:LLM 参与数学研究

marc_lelarge · x · 2026-10-27

INRIA 与 ENS 研究员 Marc Lelarge 将在 10 月 29 日 ENS-CFM 数据科学讲席的 Colloquium 上做题为《数学作为实验科学》的报告。

摘要指出 AI 正在改变数学领域，他将展示团队用 LLM、证明助手以及大量协作者正在进行的多项实验；并称这些实验几个月前还不可能完成，甚至到报告当天可能就已过时，希望探讨参与和享受数学研究的新方式。讲席由 Giulio Biroli、Stéphane Mallat 等组织，会后设有交流环节。