INRIA 与 ENS 研究员 Marc Lelarge 将报告「数学作为实验科学」：LLM 参与数学研究

INRIA 与 ENS 研究员 Marc Lelarge 将于 10 月 29 日在 ENS-CFM 数据科学讲席 Colloquium 报告《数学作为实验科学》，展示团队利用 LLM、证明助手和大量协作者开展的实验。他称这些实验几个月前尚不可能完成，报告将探讨参与并享受数学研究的新方式。