BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:The AI Mathematician\, Part I - Yang-Hui He (London Institute for 
 Mathematical Sciences)
DTSTART:20230915T093000Z
DTEND:20230915T110000Z
UID:TALK204184@talks.cam.ac.uk
DESCRIPTION:We summarize how AI can approach mathematics in three ways: th
 eorem-proving\, conjecture formulation\, and language processing.Inspired 
 by initial experiments in geometry and string theory\, we present a number
  of recent experiments on how various standard machine-learning algorithms
  can help with pattern detection across disciplines ranging from algebraic
  geometry to representation theory\, to combinatorics\, and to number theo
 ry.
LOCATION:Seminar Room 2\, Newton Institute
END:VEVENT
END:VCALENDAR