O Imperial College London vai criar o Langlands Lab, um novo laboratório no Departamento de Matemática, graças a uma doação de 5 milhões de libras da empresa XTX Markets. O laboratório será liderado pelo professor Kevin Buzzard, especialista em matemática pura.
A investigação centra-se no programa de Langlands, que procura ligações profundas entre a teoria dos números e a análise. Os novos resultados serão verificados no Lean, um programa informático que confirma se uma demonstração matemática está correta, e o laboratório vai produzir artigos e ferramentas interativas gratuitas para explicar demonstrações.
A verba paga cinco doutorandos e três investigadores de pós-doutoramento durante quatro anos, além de recursos de computação, visitas e workshops. Os doutorandos poderão usar métodos apoiados por IA, mas terão de explicar e defender os resultados sem ajuda da IA. O laboratório começa a funcionar em 2027, com a entrada dos primeiros doutorandos.
