INRIA 研究员将在 ENS 报告《作为实验科学的数学》：LLM 参与数学研究

INRIA 与 ENS 研究员 Marc Lelarge 将于 10 月 29 日在 ENS-CFM 数据科学讲席 Colloquium 报告《数学作为实验科学》。他将展示团队用 LLM、证明助手和大量协作者进行的多项实验，称这些实验几个月前还不可能完成，甚至到报告当天可能已过时。报告希望探讨参与和享受数学研究的新方式，会后设有交流环节。