帝国理工成立AI数学研究实验室

XTX Markets向帝国理工学院提供500万英镑资助，成立由Kevin Buzzard教授领导的Langlands Lab，研究AI如何改变数学研究和博士培养。实验室聚焦朗兰兹纲领，尤其是数论与分析之间的联系，目标是产出经Lean证明验证器核验的新数学成果及配套论文。 实验室还将开发免费的交互工具，帮助数学家逐步理解复杂证明和陌生概念，并探索AI辅助数学教学与博士训练的新方式；这些属于实验室的计划目标，不代表相关成果或效果已经实现。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。