BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//jEvents 2.0 for Joomla//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VTIMEZONE
TZID:America/New_York
BEGIN:STANDARD
DTSTART:20241103T010000
RDATE:20250309T030000
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:America/New_York EST
END:STANDARD
BEGIN:STANDARD
DTSTART:20251102T010000
RDATE:20260308T030000
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:America/New_York EST
END:STANDARD
BEGIN:STANDARD
DTSTART:20261101T010000
RDATE:20270314T030000
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:America/New_York EST
END:STANDARD
BEGIN:STANDARD
DTSTART:20271107T010000
RDATE:20280312T030000
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:America/New_York EST
END:STANDARD
BEGIN:STANDARD
DTSTART:20281105T010000
RDATE:20290311T030000
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:America/New_York EST
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20240416T153000
RDATE:20241103T010000
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:America/New_York EDT
END:DAYLIGHT
BEGIN:DAYLIGHT
DTSTART:20250309T030000
RDATE:20251102T010000
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:America/New_York EDT
END:DAYLIGHT
BEGIN:DAYLIGHT
DTSTART:20260308T030000
RDATE:20261101T010000
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:America/New_York EDT
END:DAYLIGHT
BEGIN:DAYLIGHT
DTSTART:20270314T030000
RDATE:20271107T010000
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:America/New_York EDT
END:DAYLIGHT
BEGIN:DAYLIGHT
DTSTART:20280312T030000
RDATE:20281105T010000
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:America/New_York EDT
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:dbf72e5282d5e81f0667170b44914ff4
CATEGORIES:Special Seminar
CREATED:20250414T193829
SUMMARY: Beyond proof: AI & mathematics
LOCATION:Hill 423
DESCRIPTION:Abstract: Advances in AI promise changes in mathematics, but what of form, 
 by what path, and to what end remain unclear. I will present informal thoug
 hts on the direction of mathematics in three parts. Starting with AI assist
 ance in proof in the form of autoformalization and autodecomposition, I wil
 l propose new ambitious directions in evaluation, and speculate on where th
 e may lead. \n
X-ALT-DESC;FMTTYPE=text/html:<p><strong data-olk-copy-source="MessageBody" style="font-size: 16px; font-
 style: normal; letter-spacing: normal; text-align: start; text-indent: 0px;
  text-transform: none; white-space: normal; word-spacing: 0px; text-decorat
 ion: none; color: #000000; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MS
 FontService, Calibri, Helvetica, sans-serif;">Abstract</strong><span style=
 "font-size: 16px; font-style: normal; font-weight: 400; letter-spacing: nor
 mal; text-align: start; text-indent: 0px; text-transform: none; white-space
 : normal; word-spacing: 0px; text-decoration: none; color: #000000; font-fa
 mily: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, s
 ans-serif; background-color: #ffffff; float: none;">: Advances in AI promis
 e changes in mathematics, but what of form, by what path, and to what end r
 emain unclear. I will present informal thoughts on the direction of mathema
 tics in three parts. Starting with AI assistance in proof in the form of au
 toformalization and autodecomposition, I will propose new ambitious directi
 ons in evaluation, and speculate on where the may lead.&nbsp;</span></p>
CONTACT:Patrick Shafto
DTSTAMP:20260827T005742
DTSTART;TZID=America/New_York:20250417T153000
DTEND;TZID=America/New_York:20250417T163000
SEQUENCE:0
TRANSP:OPAQUE
END:VEVENT
END:VCALENDAR