BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CMSA - ECPv6.15.18//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:CMSA
X-ORIGINAL-URL:https://cmsa.fas.harvard.edu
X-WR-CALDESC:Events for CMSA
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/New_York
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20250309T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20251102T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20260308T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20261101T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20270314T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20271107T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20260424T140000
DTEND;TZID=America/New_York:20260424T163000
DTSTAMP:20260419T165347
CREATED:20260413T211415Z
LAST-MODIFIED:20260414T140519Z
UID:10003934-1777039200-1777048200@cmsa.fas.harvard.edu
SUMMARY:Compression Is All You Need: Modeling Mathematics
DESCRIPTION:Freedman Seminar \nSpeaker: Mike Freedman\, Harvard CMSA \nTitle: Compression Is All You Need: Modeling Mathematics \nAbstract: The talk will exposit a recent eponymous arXiv posting with coauthors Vitaly Aksenov\, Eve Bodnia\, and Mike Mulligan. The approach is to think like a physicist and model a seemingly complex bit of reality: mathematics\, by a simple toy model where exact computations can be carried out and then compared with observation.  The models are finitely generated monoids and the data is derived from MathLib a large Lean-based repository. The hierarchical nature of definitions and lemmas in math is modeled by adding redundant generators to the monoids – think of the powers of 10 within the natural numbers which support place notation. Place notation confers an exponential compression of how we describe numbers; exploration of MathLib shows that this theme persists to (human) mathematics writ large. We hope that the observables we describe will help our agents navigate to interesting mathematical destinations. \n 
URL:https://cmsa.fas.harvard.edu/event/freedman_42426/
LOCATION:Virtual
CATEGORIES:Freedman Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Freedman-Seminar-4.24.26.docx.png
END:VEVENT
END:VCALENDAR