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's winter break opening hours
Over the winter break, some facilities and services at UEA will have reduced opening hours and partial closures.
Read more
Overlooked hydrogen emissions are heating Earth and supercharging methane
Rising global emissions of hydrogen over the past three decades have amplified the impact of the greenhouse gas methane and intensified climate change - according to an international team including researchers at the University of East Anglia (UEA).
Read more
AI video translation shows promise but humans still hold the edge
AI video translation is not yet a perfect substitute for human translation, according to new research from the University of East Anglia (UEA).
Read more