L’Imperial College London va créer le Langlands Lab, un nouveau laboratoire de son département de mathématiques, grâce à un don de 5 millions de livres de l’entreprise XTX Markets. Il sera dirigé par le professeur Kevin Buzzard, spécialiste de mathématiques pures.
Ses recherches portent sur le programme de Langlands, qui cherche des liens profonds entre la théorie des nombres et l’analyse. Les nouveaux résultats seront vérifiés dans Lean, un logiciel qui confirme qu’une démonstration mathématique est correcte, et le laboratoire produira des articles et des outils interactifs gratuits pour expliquer les démonstrations.
Le financement couvre cinq doctorants et trois postdoctorants pendant quatre ans, ainsi que des moyens de calcul, des visites et des ateliers. Les doctorants pourront utiliser des méthodes assistées par l’IA, mais devront expliquer et défendre leurs résultats sans elle. Le laboratoire ouvrira en 2027, avec l’arrivée des premiers doctorants.
