BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:AI for Math: The Future of Collaborative Discovery - Professor Mat
 eja Jamnik - Department of Computer Science and Technology\, University of
  Cambridge.
DTSTART:20251119T150500Z
DTEND:20251119T155500Z
UID:TALK240124@talks.cam.ac.uk
CONTACT:Ben Karniely
DESCRIPTION:Mathematics is humanity’s most infinite frontier\, and forma
 lising and discovering new theorems has been painstakingly slow. Today\, A
 I promises a paradigm shift. In this talk\, I examine the technical breakt
 hroughs AI brings to building an AI-human collaborative mathematician capa
 ble of genuine discovery. I discuss how human intuition and AI reasoning c
 an work together to explore\, conjecture\, and solve mathematical problems
 . I then introduce AI methods that can extract informal human domain knowl
 edge\, formalise it\, learn from it\, tackle new problems\, and rigorously
  verify solutions. I highlight how the scarcity of high-quality conjecture
 s limits AI learning\, and propose automated generation of progressively b
 etter conjectures to enhance AI reasoning. Ultimately\, I argue that by ce
 ntring the human in this partnership\, we can build an AI-human mathematic
 ian that not only solves problems\, but fundamentally expands how we explo
 re and discover mathematics.\n\nLink to join virtually: https://cam-ac-uk.
 zoom.us/j/89473073451\n\nA recording of this talk is available at the foll
 owing link: https://www.cl.cam.ac.uk/seminars/wednesday/video/\n\nThis tal
 k is being recorded. If you do not wish to be seen in the recording\, plea
 se avoid sitting in the front three rows of seats in the lecture theatre. 
 Any questions asked will also be included in the recording. The recording 
 will be made available on the Department’s webpage
LOCATION:Lecture Theatre 1\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR