Preview
Open Original
AIAI Seminar-Monday 19th January 2026 by Ursula Martin jcamero9
<div><p>AIAI Seminar presented by Ursula Martin</p></div>
<div>17688312001768834800</div>
<div>
<div class="grid row row-cols-1">
<div class="col">
<div> <div class="paragraph paragraph--type--body-text paragraph--view-mode--default">
<div><p> </p><p><span><strong>Title</strong>: Will machines change pure mathematics?</span></p><p> </p><p><span...AIAI Seminar-Monday 19th January 2026 by Ursula Martin jcamero9
<div><p>AIAI Seminar presented by Ursula Martin</p></div>
<div>17688312001768834800</div>
<div>
<div class="grid row row-cols-1">
<div class="col">
<div> <div class="paragraph paragraph--type--body-text paragraph--view-mode--default">
<div><p> </p><p><span><strong>Title</strong>: Will machines change pure mathematics?</span></p><p> </p><p><span><strong>Speaker</strong>: Ursula Martin</span></p><p><a href="https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.maths.ox.ac.uk%2Fpeople%2Fursula.martin&data=05%7C02%7C%7C88e0ea8eca974b0fd8e808de4c616423%7C2e9f06b016694589878910a06934dc61%7C0%7C0%7C639032178325741117%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=5QV%2Bjk0Q28SKkvFyVXyD9%2Fb7wYuRo1QrmjbmP%2BQK7To%3D&reserved=0"><span>https://www.maths.ox.ac.uk/people/ursula.martin</span></a></p><p> </p><p><span><strong>Abstract:</strong></span></p><p><span>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. </span></p><p> </p><p><span>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.</span></p><p> </p><p><span>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.</span></p></div>
</div>
<div><p class="address" translate="no"><span class="country">United Kingdom</span></p></div>
Geofield
POINT (-3.276575 54.702354)
<div><p class="article-published">This article was published on <time datetime="2026-01-06T12:00:00Z">Tue, 06/01/2026 - 12:00</time>
<div>
<p class="article-published">This article was published on
<time datetime="2026-01-06T10:18:05+00:00">2026-01-06</time>
</p>
</div>