BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:The Equational Theories Project: Advancing Collaborative Mathemati
 cal Research at Scale - Terence Tao (University of California\, Los Angele
 s)
DTSTART:20250610T081500Z
DTEND:20250610T091500Z
UID:TALK230611@talks.cam.ac.uk
DESCRIPTION:I will report on the Equational Theories Project\, which succe
 ssfully determined the logical relationships between the 4694 simplest equ
 ational laws of a single binary operation\, by coordinating contributions 
 from a diverse set of both human and computer-generated sources\, all form
 alized within a common Lean framework.
LOCATION:Seminar Room 1\, Newton Institute
END:VEVENT
END:VCALENDAR