UEA’s grant and funding success – September 2025
By: Communications
Scalable theorem proving via mathematical databases
Project lead: Dr Chris Birkbeck
Partners: David Roe (MIT) and Andrew Sutherland (MIT)
Dr Chris Birkbeck (Lecturer in the School of Engineering, Mathematics and Physics) has been awarded $362,000 through the AI for Math Fund – an initiative by Renaissance Philanthropy, with funding support from XTX Markets.
This is part of a joint project with David Roe and Andrew Sutherland from MIT.
The project seeks to increase the scale of mathematical content accessible to automated theorem provers, by creating an interface between the Lean mathematical library (mathlib) and the L-functions and Modular Forms Database (LMFDB).
By connecting mathlib's collection of approximately 100,000 mathematical results with the LMFDB's repository of more than a billion concrete statements, they aim to expand the capabilities of both human mathematicians and AI agents.
Related Articles
Are you ready to swap salmon for sprats and sardines?
Millions of Britons could be ready to swap imported fish for home caught favourites like sardines, sprats and anchovies – according to a new study from the University of East Anglia (UEA).
Read more
The untold story of life with Prader-Willi syndrome – according to the siblings who live it
New research from the University of East Anglia (UEA) reveals the hidden struggles experienced by the brothers and sisters of people with Prader-Willi syndrome.
Read more
A feast without flavour: The hidden impact of smell and taste loss at Christmas
Imagine sitting down to a festive feast and tasting… nothing. For thousands of people in the UK, smell and taste disorders turn Christmas into a season without flavour or aroma impacting joy, nutrition, and even mental health.
Read more