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
UN report urges investment in Ocean Carbon Intelligence to safeguard the ocean's climate role
The world must strengthen its understanding of the ocean's carbon system if it is to safeguard one of the planet's most important climate allies, according to a major new report involving a researcher at the University of East Anglia.
Read more
Popular UEA Christmas lecture for children returns with search for Santa's new animal helper
Led by UEA’s Prof Ben Garrod with TV presenter and vet Dr Jess French, this year's UEA Christmas lectures for children: Ultimate Animals event takes place on campus on Saturday 12 December.
Read more
UEA partnership celebrates graduation of first students
The first University of East Anglia students studying in Singapore through its partnership with Amity Global Institute have celebrated their graduation at a special ceremony this month.
Read more