热点事件持续更新
INRIA研究员将在ENS报告《数学作为实验科学》
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
2026年10月27日有报道称,INRIA与ENS研究员Marc Lelarge将于10月29日在ENS-CFM数据科学讲席Colloquium上作报告,题为《数学作为实验科学》。按报道介绍,他将在报告中展示团队借助LLM、证明助手和大量协作者开展的若干实验,并称这些实验在几个月前还不可能完成,甚至到报告当天可能已经过时。报道称,报告希望探讨参与数学研究并从中获得乐趣的新方式,会后设有交流环节。目前该报告尚未举行,除会期、主讲人与内容简介外,暂无更多进展信息披露。
AI 根据报道生成 · 2 小时前更新
最新进展10月27日 03:41
INRIA与ENS研究员Marc Lelarge将于10月29日在ENS报告《数学作为实验科学》,介绍LLM参与数学研究的实验。报道时间线
沿着报道,了解事件的不同侧面。
10月27日
- AGI HuntINRIA 研究员将在 ENS 报告《作为实验科学的数学》:LLM 参与数学研究
INRIA 与 ENS 研究员 Marc Lelarge 将于 10 月 29 日在 ENS-CFM 数据科学讲席 Colloquium 报告《数学作为实验科学》。他将展示团队用 LLM、证明助手和大量协作者进行的多项实验,称这些实验几个月前还不可能完成,甚至到报告当天可能已过时。报告希望探讨参与和享受数学研究的新方式,会后设有交流环节。
本事件热度走势
当前热度 9·可比范围峰值 10(10月27日 04:00)·近 24 小时可比范围变化 –
趋势仅比较持续完整观测到的相同主体,范围可能小于当前热度统计。移动指针或点击图表查看每小时热度;键盘可用左右方向键切换。