BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Can a computer judge interestingness? - Professor Michael Douglas 
 (Center of Mathematical Sciences and Applications\, Harvard University)
DTSTART:20240429T130000Z
DTEND:20240429T140000Z
UID:TALK216169@talks.cam.ac.uk
CONTACT:Anand Rao Tadipatri
DESCRIPTION:Mathematics is made up of provable interesting statements abou
 t numbers\, geometry and abstract structures.\nWhile proof can be precisel
 y defined\, interestingness remains mysterious\, a matter of intuition. In
  this talk we discuss ways to implement interestingness on a computer\, bo
 th in symbolic and formal terms\, and using state of the art AI.\n\nThe sl
 ides from the talk can be found here: https://www.dropbox.com/scl/fi/9u9jq
 8ye9uvsd489rwxmn/douglas-cambridge-rev.pdf?rlkey=eup4bpurenb8j0eat68yqljsd
 &e=1&st=jkjeuo93&dl=0.\n\n—-\n\nWATCH ONLINE HERE : https://www.microsof
 t.com/en-gb/microsoft-teams/join-a-meeting?rtc=1 Meeting ID: 370 771 279 2
 61 Passcode: iCo7a5
LOCATION:MR15 Centre for Mathematical Sciences
END:VEVENT
END:VCALENDAR