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
Winners Announced at UEA’s 2026 Innovation and Impact Awards ceremony
UEA’s vibrant culture of innovation and collaboration was celebrated at the 2026 Innovation and Impact Awards, held on Wednesday 20 May at The Enterprise Centre.
Read more
UEA to investigate impact of AI on children as part of £3 million project
Researchers at the University of East Anglia will investigate how AI influences children’s cognitive, social and emotional development as part of work commissioned by the Department for Education.
Read more
UK’s first megafire unleashed nearly a year of fire emissions in four days
A new analysis of carbon emissions from the UK’s first megafire - the 2025 Dava Moor Fire in Scotland - suggests a shift in the risk of big, destructive, carbon-intensive wildfires in northern peatlands.
Read more