BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Will machines change mathematics? - Ursula Martin (University of O
 xford)
DTSTART:20250501T104500Z
DTEND:20250501T114500Z
UID:TALK230401@talks.cam.ac.uk
DESCRIPTION:A 2024 collection of articles in the Bulletin of the AMS asked
  "Will machines cange mathematics?"\, suggesting that &nbsp\;"Pure mathema
 ticians are used to enjoying a great degree of research autonomy and intel
 lectual freedom\, a fragile and precious heritage that might be swept asid
 e by a mindless use of machines." and challenging readers to &nbsp\;"decid
 e upon our subject&rsquo\;s future direction."\nAccording to three Fields 
 medallists interviewed by Epoch AI late in 2024 &nbsp\;"AI will change mat
 h research by enhancing proof development\, generating novel conjectures\,
  lowering entry barriers\, and potentially automating research in the futu
 re.&rdquo\;\nWe look at the factors\, &nbsp\;whether technical\, social or
  economic\, leading to the ongoing adoption\, or otherwise\, of previous c
 omputational interventions in mathematical practice. We ask what the role 
 of historians might be in this rapidly changing landscape.
LOCATION:Seminar Room 1\, Newton Institute
END:VEVENT
END:VCALENDAR