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 in 2025: Our year in stories
As 2025 draws to a close, join us for our annual round-up of stories and discover 20 standout moments that defined the year – from inspiring student journeys and heartfelt reunions to rare wildlife discoveries and groundbreaking research.
Read more
UEA delegation visits Vietnam to nurture partnerships
Delegates from the Schools of Social Sciences and Humanities visited Vietnam to reunite with alumni, strengthen new and existing partnerships, and support UEA’s 2030 strategy.
Read more
UEA helps international football star find his voice in English
UEA's Language Programme (ULP) has launched a tailored English language course for professional footballer Papa Amadou Diallo, helping him adapt to life on and off the pitch as he starts his contract with Norwich City Football Club.
Read more