XTX Markets 捐 500 万英镑，帝国理工成立 Langlands Lab 探索 AI 变革数学研究

XTX Markets 向帝国理工学院捐赠 500 万英镑，成立由 Kevin Buzzard 教授领导的 Langlands Lab，探索 AI 如何变革数学研究与博士培养。实验室聚焦朗兰兹纲领及数论与分析的联系，目标产出经 Lean 证明验证器核验的新数学成果与论文，并开发免费交互工具帮助数学家理解复杂证明，同时探索 AI 辅助教学与博士训练。