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
BeZero partners with the State of Wildfires Project to analyse global wildfire risk
Carbon ratings agency BeZero Carbon has partnered with the University of East Anglia to fund the State of Wildfires Project, a major international scientific initiative tracking the causes and impact of extreme wildfires.
Read more
Major new £3.83m programme to help people to take climate action
A major new programme has been announced exploring how to get people more involved in climate action and enable behavioural change.
Read more
Indigenous knowledge key to building healthier and more sustainable food systems
Traditional and Indigenous knowledge could play a vital role in addressing some of the world's most pressing challenges, including climate change, biodiversity loss, and poor health and nutrition, according to a new review of current research.
Read more