The past present and future of computer proof in pure mathematics research.

Add to your list(s) Download to your calendar using vCal

• Ursula Martin (University of Oxford)
• Thursday 01 May 2025, 11:45-12:45
• Seminar Room 1, Newton Institute.

If you have a question about this talk, please contact nobody.

MHMW02 - Modern History of Mathematics: Looking Ahead

According to three Fields medallists interviewed by Epoch AI in 2024 to promote a new benchmark test “AI will change math research by enhancing proof development, generating novel conjectures, lowering entry barriers, and potentially automating research in the future.” We consider this claim in the light of current technological advances, and the factors, whether technical social or economic, leading to the ongoing adoption, or otherwise, of previous computational interventions in mathematical practice.

This talk is part of the Isaac Newton Institute Seminar Series series.

This talk is included in these lists:

• All CMS events
• Featured lists
• INI info aggregator
• Isaac Newton Institute Seminar Series
• School of Physical Sciences
• Seminar Room 1, Newton Institute
• bld31

Note that ex-directory lists are not shown.