BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Interactions of AI with research math and formalization - Virtual 
 presentation - Alex Kontorovich (Rutgers\, The State University of New Jer
 sey)
DTSTART:20260331T133500Z
DTEND:20260331T140000Z
UID:TALK245719@talks.cam.ac.uk
DESCRIPTION:We discuss some ongoing experiments with using AI and formaliz
 ation to aid in research mathematics.
LOCATION:Seminar Room 1\, Newton Institute
END:VEVENT
END:VCALENDAR