BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:The realist's guide to AI for formal maths research - Albert  Jian
 g  (None / Other)
DTSTART:20250612T091500Z
DTEND:20250612T101500Z
UID:TALK230641@talks.cam.ac.uk
DESCRIPTION:In this talk\, I will discuss the different incentives driving
  AI for formal maths research in industry and academia\, their conflicts\,
  and the possibilities of alignment\, as a realist.
LOCATION:Seminar Room 1\, Newton Institute
END:VEVENT
END:VCALENDAR