XTX Markets 捐 500 万英镑,帝国理工设 AI 数学研究实验室
MarioKrenn6240 · x · 2026-10-27
帝国理工学院获 XTX Markets 500 万英镑资助,成立由 Kevin Buzzard 教授领导的 Langlands Lab,探索 AI 如何变革数学研究与博士培养。
- 研究聚焦朗兰兹纲领,尤其是数论与分析间的联系
- 目标产出经 Lean 证明验证器核验的新数学成果及配套论文
- 开发免费交互工具,帮助数学家逐步理解复杂证明与陌生概念
- 同时探索 AI 辅助下数学教学与博士训练的新方式
「公司和人」频道最新
- General Catalyst 推本科生研究计划:约 20 人,每人至多 2.5 万美元算力 — Daisy4ai · 2026-10-28
- Dario Amodei 自述离开 OpenAI 创办 Anthropic：因对安全处理失去信任 — kimmonismus · 2026-10-28
- Lovable 联创 Felix Haas 11 月 4 日回斯坦福 GSB 谈 AI 时代设计 — felixhhaas · 2026-10-28
- 任务8小时变1小时，Sprint却提前4天耗尽：AI生产力的度量陷阱 — rseroter · 2026-10-28
- 137个内部schema曝光：NavBoost记录的搜索行为远不止点击 — VeryWellVersed · 2026-10-28
- Palantir CEO Karp:全球AI竞赛只剩美中，以色列是唯一例外 — acmoytoy · 2026-10-28