XTX Markets 捐 500 万英镑，帝国理工成立 AI 数学研究实验室

XTX Markets 向帝国理工学院提供 500 万英镑资助，设立由 Kevin Buzzard 教授领导的 Langlands Lab，研究 AI 如何改变数学研究与博士培养。实验室聚焦朗兰兹纲领，目标是产出经 Lean 证明验证器核验的新数学成果及论文，并开发免费交互工具探索 AI 辅助数学教学与训练。