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
Norwich Medical School graduate ready to whisk up success on Bake Off
The UEA community is hoping Norwich Medical School graduate Dr Yannis has the perfect recipe for Great British Bake Off glory.
Read more
UEA celebrates strong subject performances in national rankings
The University of East Anglia (UEA) has recorded a series of strong subject performances in the latest Times and Sunday Times Good University Guide 2027, with several recognised among the UK's best.
Read more
UEA awarded highest 5+ Stars rating in QS Stars assessment
The University of East Anglia has been awarded the highest possible overall rating of 5+ Stars in an internationally recognised evaluation.
Read more