AIAI Seminar-Monday 19th January 2026 by Ursula Martin Title: Will machines change pure mathematics? Speaker: Ursula Martinhttps://www.maths.ox.ac.uk/people/ursula.martin Abstract:Recent months have seen astonishing advances in the use of AI techniques in mathematical papers: “vibe coding” by non-experts to produce formal proofs in LEAN; expert human guidance of LLMs produce credible, if derivative, research papers; 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. And it raises questions beyond the technical concerning governance, funding and the nature of the mathematical profession. To try and understand what’s going on and where future challenges might lie, we look historical examples of changes in mathematical practice - as an example we consider key developments in the early days of computational group theory. Jan 19 2026 14.00 - 15.00 AIAI Seminar-Monday 19th January 2026 by Ursula Martin AIAI Seminar presented by Ursula Martin Informatics Forum: G.03
AIAI Seminar-Monday 19th January 2026 by Ursula Martin Title: Will machines change pure mathematics? Speaker: Ursula Martinhttps://www.maths.ox.ac.uk/people/ursula.martin Abstract:Recent months have seen astonishing advances in the use of AI techniques in mathematical papers: “vibe coding” by non-experts to produce formal proofs in LEAN; expert human guidance of LLMs produce credible, if derivative, research papers; 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. And it raises questions beyond the technical concerning governance, funding and the nature of the mathematical profession. To try and understand what’s going on and where future challenges might lie, we look historical examples of changes in mathematical practice - as an example we consider key developments in the early days of computational group theory. Jan 19 2026 14.00 - 15.00 AIAI Seminar-Monday 19th January 2026 by Ursula Martin AIAI Seminar presented by Ursula Martin Informatics Forum: G.03
Jan 19 2026 14.00 - 15.00 AIAI Seminar-Monday 19th January 2026 by Ursula Martin AIAI Seminar presented by Ursula Martin
