Imperial College launches AI-math Langlands Lab with £5M grant from XTX Markets
MarioKrenn6240 · x · 2026-10-27
Imperial College London has received a £5 million grant from XTX Markets to establish the Langlands Lab, led by Professor Kevin Buzzard, exploring how AI could transform mathematical research and doctoral training.
- Focus: the Langlands program, connecting number theory and analysis
- Aims to produce new results verified with the Lean proof assistant
- Will build freely available interactive tools to help mathematicians work through complex proofs
- Also rethink how mathematicians learn and teach with AI-assisted methods
More from Companies & People
- General Catalyst launches undergrad Research Fellows program with $25K compute per fellow — Daisy4ai · 2026-10-28
- Ashoka University launches one-year Master's in Applied Digital Health and Responsible AI — DrDatta_AIIMS · 2026-10-28
- Meta: 30% of PMs, designers and researchers now ship code, up from 5% a year ago — omooretweets · 2026-10-28
- Next Gen Maker Con, uniting Microsoft maker communities, opens registration — donasarkar · 2026-10-28
- METR researcher joining Anthropic sparks concerns over eval lab independence — ShakeelHashim · 2026-10-28
- Microsoft outlines 4 goals for Power Platform and Copilot Studio at PPCC26 — donasarkar · 2026-10-28