OxTalks is Changing
During Michaelmas Term, OxTalks will be moving to a new platform (full details are available on the Staff Gateway).
For now, continue using the current page and event submission process (freeze period dates to be advised).
If you have any questions, please contact halo@digital.ox.ac.uk
Will mechanisation change research mathematics?
A 2024 collection of articles in the Bulletin of the AMS asked “Will machines change mathematics?”, suggesting that “Pure mathematicians are used to enjoying a great degree of research autonomy and intellectual freedom, a fragile and precious heritage that might be swept aside by a mindless use of machines.” and challenging readers to “decide upon our subject’s future direction.”
This was a response to growing awareness of the mathematical capabilities of emerging technologies, alone or in combination. These techniques include software such as LEAN for providing formal proofs; use of LLMs to produce credible, if derivative, research papers with expert human guidance; specialist algorithms such as AlphaGeometry; and sophisticated use of machine learning to search for examples. Their development (at huge cost in compute power and energy) has been accompanied by an unfamiliar and exuberant level of hype from well-funded start-ups claiming to “solve mathematics” and the like.
To try and understand what’s going on we look at the factors, whether technical, social or economic, leading to the ongoing adoption and impact, or otherwise, of previous computational interventions in mathematical practice. As an example we consider key decisions made in the early days of computational group theory.
Date:
29 October 2025, 17:00
Venue:
Mathematical Institute, Woodstock Road OX2 6GG
Venue Details:
L5
Speaker:
Ursula Martin (University of Oxford)
Organising department:
Mathematical Institute
Part of:
History of Mathematics Seminar
Booking required?:
Not required
Audience:
Members of the University only
Editor:
Christopher Hollings
