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
Social justice should not be tokenistic but at the heart of global restoration efforts
Social justice must be at the heart of global restoration initiatives - and not “superficial” or “tokenistic” - if ecosystem degradation is to be addressed effectively, according to new research by the University of East Anglia (UEA).
Read more
New research explains how our brains store and change memories
A study from the University of East Anglia (UEA) is helping scientists better understand how our brains remember past events - and how those memories can change over time.
Read more
UEA research centre welcomes UN resolution on International Year of Volunteers for Sustainable Development
Researchers at the University of East Anglia (UEA) are opening a special new archive tomorrow to celebrate the United Nations (UN) naming 2026 as the International Year of Volunteers for Sustainable Development.
Read more