Imperial College London, XTX Markets कंपनी से मिले 50 लाख पाउंड के अनुदान से अपने गणित विभाग में नई प्रयोगशाला Langlands Lab बनाएगा। इसका नेतृत्व शुद्ध गणित के विशेषज्ञ प्रोफ़ेसर केविन बज़र्ड करेंगे।
शोध लैंगलैंड्स कार्यक्रम पर केंद्रित है, जो संख्या सिद्धांत और विश्लेषण के बीच गहरे संबंध खोजता है। नए परिणामों को Lean में सत्यापित किया जाएगा, जो यह जाँचने वाला सॉफ़्टवेयर है कि कोई गणितीय प्रमाण सही है या नहीं, और प्रयोगशाला शोध-पत्र तथा प्रमाणों को समझाने वाले मुफ़्त इंटरैक्टिव उपकरण तैयार करेगी।
अनुदान से चार वर्षों तक पाँच पीएचडी छात्रों और तीन पोस्टडॉक्टरल शोधकर्ताओं के साथ कंप्यूटिंग संसाधन, यात्राएँ और कार्यशालाएँ वित्त पोषित होंगी। पीएचडी छात्र AI-सहायता वाली विधियाँ इस्तेमाल कर सकेंगे, लेकिन उन्हें अपने परिणाम AI की मदद के बिना समझाने और उनका बचाव करना होगा। प्रयोगशाला 2027 में पहले पीएचडी छात्रों के प्रवेश के साथ शुरू होगी।
