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
UEA and Anglian Water strengthen commitment to innovation, sustainability and regional impact
The University of East Anglia and Anglian Water are reaffirming their shared commitment to tackling some of the region's most pressing environmental challenges.
Read more
Booker Prize winners celebrate new UEA scholarship in honour of Eve Smith
The Booker Prize Foundation and the University of East Anglia announce new creative writing scholarship in the name of former BPF Company Secretary Eve Smith.
Read more
Major BFI Screen Heritage Fund investment secures future of nationally significant film archive in Norwich
£374,697 Resilience award will support relocation of the East Anglian Film Archive to UEA and safeguard more than 130 years of regional screen heritage.
Read more