Mathematical Foundations of Intelligence: An "Erlangen Programme" for AI

In 1872, Felix Klein published his now famous Erlangen Programme, in which he treated geometry as the study of invariants, formalised using group theory. This radically new approach allowed tying together different types of non-Euclidean geometries that had emerged in the nineteenth century and has had a profound methodological and cultural impact on geometry in particular and mathematics in general. New fields of mathematics such as exterior calculus, algebraic topology, the theory of fibre bundles and sheaves, and category theory emerged as a continuation of Klein's blueprint. The Erlangen Programme was also fundamental for the development of physics in the first half of the twentieth century, with Noether's theorem and the notion of gauge invariance successfully providing a unification framework for electromagnetic, weak, and strong interactions, culminating in the Standard Model in the 1970s. 

An "Erlangen Programme" for AI, based on rigorous mathematical principles, will bring better understanding of existing AI methods as well as a new generation of methods that have guaranteed expressive and generalisation power, better interpretability, scalability, and data- and computational-efficiency. Just as the ideas of Klein's Erlangen Programme spilled into other disciplines and produced new theories in mathematics, physics, and beyond, this AI research programme will draw inspiration from these analogies. By resorting to powerful tools from the mathematical and algorithmic fields sometimes considered "exotic" in applied domains, new theoretical insights and computational models can be derived. 

The "Erlangen Programme" for AI will study four fundamental questions that underlie modern AI/ML systems, striving to provide rigorous mathematical answers: 

• How can hidden structures in data be discovered and expressed in the language of geometry and topology in order to be exploited by ML models?  
• Can geometric and topological tools be used to characterise ML models in order to understand when and how they work and fail?  
• How can learning be guaranteed to benefit from these structures, and these insights used to develop better, more efficient, and safer new models?  
• Finally, how can such models be used in future AI systems to make decisions potentially affecting billions of people? 

With a centre at Oxford, and broad geographic coverage of the UK, the hub will bring together leading experts in mathematical, algorithmic, and computational fields underpinning AI/ML systems as well as their applications in scientific and industrial settings. Some of the hub participants have a track record of previous successful work together, while other collaborations are new. 

The research programme in the hub intends to break barriers between different fields and bring a diverse and geographically distributed cohort of leading UK experts rarely seen together with the purpose of strong cross-fertilisation. In the fields of AI/ML, the work will contribute to the exploitation of tools from currently underexplored mathematical fields. Conversely, the programme will help attract the attention of theoreticians to new problems and applications. 

Hub Director Professor Michael Bronstein will be supported in the management of the hub by Professor Heather Harrington at Oxford, Dr Anthea Monod at Imperial College London, Professor Jacek Brodzki at University of Southampton, Primoz Skraba at Queen Mary University London, Professor Jeffrey Giansiracusa at Durham University and Professor Ran Levi at University of Aberdeen. Professor Bronstein’s Co-Investigators at Oxford include Alessandro Abate (Computer Science), Peter Grindrod (Maths), and Jared Tanner (Maths).