BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CMSA - ECPv6.18.0//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://live-hu-cmsa-222.pantheonsite.io
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:20261021T140000
DTEND;TZID=America/New_York:20261021T150000
DTSTAMP:20261014T152454Z
CREATED:20260729T194008Z
LAST-MODIFIED:20261014T152454Z
UID:10004014-1792591200-1792594800@live-hu-cmsa-222.pantheonsite.io
SUMMARY:Local learning needs dendrites
DESCRIPTION:New Technologies in Mathematics Seminar \nSpeaker: Riccardo Zecchina (Bocconi University) \nTitle: Local learning needs dendrites \nAbstract: I will present a learning scheme for recurrent networks in which nonlinear dendrites enable learning by generating and stabilizing task-relevant attractors within a representation manifold. The scheme is local in space and time and matches the performance of backpropagation through time on the same architecture\, while following a fundamentally different trajectory in weight space. Statistical physics reveals how dendritic gating and the geometry of the representation manifold support this alternative route to learning.
URL:https://live-hu-cmsa-222.pantheonsite.io/event/newtech_102126/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:New Technologies in Mathematics Seminar
ATTACH;FMTTYPE=image/png:https://live-hu-cmsa-222.pantheonsite.io/media/2026/10/CMSA-NTM-Seminar-10.21.2026.docx-scaled.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20261014T140000
DTEND;TZID=America/New_York:20261014T150000
DTSTAMP:20260929T165604Z
CREATED:20260729T193937Z
LAST-MODIFIED:20260929T165604Z
UID:10004013-1791986400-1791990000@live-hu-cmsa-222.pantheonsite.io
SUMMARY:Prove2Me: Formalizing Fermat Last Theorem and Beyond
DESCRIPTION:New Technologies in Mathematics Seminar \nSpeaker: Tianyi Peng\, Decision\, Risk\, and Operations Division\, Columbia Business School \nTitle: Prove2Me: Formalizing Fermat Last Theorem and Beyond \nAbstract: Proof assistants such as Lean 4 promise the paradigm of formally verified mathematics\, but large-scale formalization projects have faced major barriers to entry\, including the need for expertise in formal verification (as well as the underlying mathematics) and the significant time required for writing formal proofs. AI coding agents have dramatically reduced these barriers; human users can now use natural language to prompt agents to write complex proofs in Lean. This opens up the intriguing possibility of internet-scale mathematical collaboration involving both humans and AI agents\, where correctness is machine-checked.
URL:https://live-hu-cmsa-222.pantheonsite.io/event/newtech_101426/
LOCATION:Virtual
CATEGORIES:New Technologies in Mathematics Seminar
ATTACH;FMTTYPE=image/png:https://live-hu-cmsa-222.pantheonsite.io/media/2026/07/CMSA-NTM-Seminar-10.14.2026.docx-scaled.png
END:VEVENT
END:VCALENDAR