BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//UM//UM*Events//EN
CALSCALE:GREGORIAN
BEGIN:VTIMEZONE
TZID:America/Detroit
TZURL:http://tzurl.org/zoneinfo/America/Detroit
X-LIC-LOCATION:America/Detroit
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20070311T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=2SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20071104T020000
RRULE:FREQ=YEARLY;BYMONTH=11;BYDAY=1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20260828T085915
DTSTART;TZID=America/Detroit:20260908T160000
DTEND;TZID=America/Detroit:20260908T170000
SUMMARY:Lecture / Discussion:Colloquium - First Proof: Mathematics putting AI to the test
DESCRIPTION:Lauren K. Williams received an AB from Harvard University and a PhD from the Massachusetts Institute of Technology. She was a faculty member at the University of California\, Berkeley\, from 2009 to 2018\, prior to returning to Harvard University\, where she is currently the Dwight Parker Robinson Professor of Mathematics. Williams has received various honors\, including a MacArthur fellowship\, a Guggenheim fellowship\, and an NSF Career Grant. While her main research area is algebraic combinatorics (including total positivity and cluster algebras)\, her work is connected to shallow water waves (via soliton solutions of the KP equation)\, traffic flow and protein synthesis (the asymmetric simple exclusion process)\, and scattering amplitudes in high-energy physics. She is one of the editors of First Proof\, which has been benchmarking the ability of AI models to create mathematical proofs.\n\nFirst Proof provides objective\, up-to-date assessments of AI models’ ability to prove specified mathematical statements. This talk will review findings from the project’s first two problem batches and outline plans for its next phase.
UID:146386-21898980@events.umich.edu
URL:https://events.umich.edu/event/146386
CLASS:PUBLIC
STATUS:CONFIRMED
CATEGORIES:Mathematics
LOCATION:East Hall - 1360
CONTACT:
END:VEVENT
END:VCALENDAR