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
Land-intensive carbon removal needs better siting to protect biodiversity
Significant reliance on land-based methods of carbon dioxide removal can protect biodiversity by avoiding climate impacts - but it could also compete with biodiversity protection unless there is better site selection, according to a new study.
Read more
UEA’s grant and funding success – January 2026
Discover the latest research and funding grant successes happening within the University of East Anglia.
Read more
MRI scan breakthrough could spare thousands of heart patients from risky invasive tests
Doctors may soon be able to tell just how sick a heart failure patient really is by using a routine MRI scan, thanks to new research from the University of East Anglia (UEA).
Read more