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
Norwich learning centre supporting more than 3,500 young people to achieve ambitions
A learning centre in Norwich has supported more than 3,500 young people in West Earlham to achieve their ambitions.
Read more
Nobel laureate and UEA graduate offers hope for the future of medicine
An upcoming UEA lecture will see Nobel laureate Sir Michael Houghton reflect on vaccine challenges, evolving treatments, and the future of healthcare.
Read more
UEA places in UK top 20 for work experience
The Higherin ‘Top Universities for Work Experience 2026-2027' rankings, announced today, placed UEA as 17th overall and top in the East of England.
Read more