BEGIN:VCALENDAR
VERSION:2.0
PRODID:icalendar-ruby
CALSCALE:GREGORIAN
X-WR-CALNAME:The Albert Leon Whiteman Memorial Mathematics Lecture: How AI 
 might accelerate mathematics discovery: a realist's guide
X-WR-TIMEZONE:Pacific Time (US & Canada)
BEGIN:VEVENT
DTSTAMP:20260718T020923Z
UID:tag:localist.com\,2008:EventInstance_52685194605782
DTSTART:20260428T230000Z
DTEND:20260429T003000Z
DESCRIPTION:Ravi Vakil\, Stanford University\n\n\nTitle: How AI might accel
 erate mathematics discovery: a realist's guide\n\n\nAbstract: There has be
 en a great deal of exaggeration and sloppy thinking in the public discussi
 on of the impact on AI on mathematics.  The most interesting and subtle qu
 estion is to understand the actual current frontier --- what sorts of  pro
 blems are on the cusp of becoming tractable\, and where should we focus ou
 r energies next?  Now is the time for rapid experimentation\, to better un
 derstand the new landscape.  I will discuss two such types of experiments 
 --- of seeing how  models can be used systematically by mathematicians to 
 accelerate mathematical discovery in new fields\, and how and  why to form
 alize mathematics in much more complicated domains than before.
GEO:34.02213;-118.282691
LOCATION:Montgomery Ross Fisher Building (MRF)\, 340
SUMMARY:The Albert Leon Whiteman Memorial Mathematics Lecture: How AI might
  accelerate mathematics discovery: a realist's guide
URL;VALUE=URI:https://calendar.usc.edu/event/the-albert-leon-whiteman-memor
 ial-mathematics-lecture-how-ai-might-accelerate-mathematics-discovery-a-re
 alists-guide-8437
CATEGORIES:Lecture / Talk / Workshop
END:VEVENT
END:VCALENDAR