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 - Mateja Jamnik
  (University of Cambridge)
DTSTART:20250609T130000Z
DTEND:20250609T140000Z
UID:TALK230605@talks.cam.ac.uk
DESCRIPTION:Mathematics is humanity&rsquo\;s most infinite frontier\, and 
 formalising and discovering new theorems has been painstakingly slow. Toda
 y\, AI promises a paradigm shift. In this talk\, I examine the technical b
 reakthroughs AI brings to building an AI-human collaborative mathematician
  capable of genuine discovery. I discuss how human intuition and AI reason
 ing can work together to explore\, conjecture\, and solve mathematical pro
 blems. I then introduce AI methods that can extract informal human domain 
 knowledge\, formalise it\, learn from it\, tackle new problems\, and rigor
 ously verify solutions. I highlight how the scarcity of high-quality conje
 ctures limits AI learning\, and propose automated generation of progressiv
 ely better conjectures to enhance AI reasoning. Ultimately\, I argue that 
 by centring the human in this partnership\, we can build an AI-human mathe
 matician that not only solves problems\, but fundamentally expands how we 
 explore and discover mathematics.
LOCATION:Seminar Room 1\, Newton Institute
END:VEVENT
END:VCALENDAR