BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Can Mathematics Be Hacked? Infrastructure\, Artificial Intelligenc
 e\, and the Cybersecurity of Mathematical Knowledge - Fenner Tanswell (Tec
 hnische Universität Berlin)
DTSTART:20250611T091500Z
DTEND:20250611T101500Z
UID:TALK230632@talks.cam.ac.uk
DESCRIPTION:As artificial intelligence\, large language models\, and inter
 active theorem proving improve in their mathematical abilities and usefuln
 ess\, prominent mathematicians are predicting that computational tools wil
 l soon have even bigger impacts on how mathematics is done. For example\, 
 the centuries-old dream of gap-free and error-free mathematics might final
 ly be within reach. In this paper\, we will examine about how these kinds 
 of changes to the infrastructure of mathematical knowledge will bring abou
 t new dangers. Specifically\, we will argue that the move to AI-assisted &
 ldquo\;mass-produced&rdquo\; mathematics will leave mathematics vulnerable
  to hacking in ways that it has not been previously. We will give some sim
 ple examples of what hacking mathematics might look like and why it might 
 be done\, then consider the options for the cybersecurity of mathematical 
 knowledge. While the potential changes to mathematical practice might redu
 ce the dangers of gaps and errors\, we will argue that they also add a new
  category of danger: deliberate subversion.
LOCATION:Seminar Room 1\, Newton Institute
END:VEVENT
END:VCALENDAR