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
Top 20 places for UEA and its academics in new global rankings of climate science
The University of East Anglia (UEA) and its researchers have been ranked among the top 20 in a major new global ranking of the most-cited authors, publications and institutions in climate science.
Read more
UEA launches inaugural Creative Writing Summer School
Aspiring writers from around the world are set to attend the University of East Anglia’s (UEA) first ever Creative Writing Summer School, which starts this weekend.
Read more
UEA-inspired ‘Microbe Zoo’ set to reveal hidden worlds beneath our feet
University of East Anglia (UEA) scientists are helping bring the unseen world of microbes to life at an immersive exhibition at the Royal Society in London this summer.
Read more