BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:The AI Mathematician\, Part II - Yang-Hui He (London Institute for
  Mathematical Sciences)
DTSTART:20230922T093000Z
DTEND:20230922T110000Z
UID:TALK204193@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