BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:AI as a cognitive tool in mathematics - Mikkel Willum Johansen (Un
 iversity of Copenhagen)
DTSTART:20260331T150000Z
DTEND:20260331T151500Z
UID:TALK245965@talks.cam.ac.uk
DESCRIPTION:We can do very little mathematics without the aid of cognitive
  tools and artefacts. In that sense\, mathematics is a tool-driven practic
 e\, and many of the disputes we have seen in the history of mathematics ab
 out which objects and theorems to accept have in effect been disputes abou
 t the acceptability of certain tools. AI is a new and powerful cognitive t
 ool\, and the discussions we are having today about AI can be seen as a mo
 dern iteration of the millennia-old discussion about which tools to accept
 . This does not make the discussion trivial. On the contrary. Tools are no
 t neutral\, and the debate about which tools to accept in mathematics is a
 lways also a discussion about what mathematics to accept. That goes for AI
  tools as well. In my presentation\, I will situate current debates about 
 AI within the broader history of debates about cognitive tools\, and I wil
 l explore how the introduction of AI might shape mathematics in the future
 .
LOCATION:Seminar Room 1\, Newton Institute
END:VEVENT
END:VCALENDAR