BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CMSA - ECPv6.18.2//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:CMSA
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:20261014T163000
DTEND;TZID=America/New_York:20261014T173000
DTSTAMP:20261002T183533Z
CREATED:20260824T141230Z
LAST-MODIFIED:20261002T183533Z
UID:10003965-1791995400-1791999000@live-hu-cmsa-222.pantheonsite.io
SUMMARY:First Proof Batch 3: Mathematicians putting AI to the test
DESCRIPTION:AI for the Working Mathematician \nSpeaker: Lauren Williams\, Harvard \nTitle: First Proof Batch 3: Mathematicians putting AI to the test \nAbstract: First Proof is an initiative that aims to obtain a nuanced\, objective assessment about the capabilities of large language models to prove specified mathematical statements. I will report on the results of First Proof’s third batch of problems. We will be scoring AI-generated solutions based on (1) mathematical correctness\, (2) quality of exposition\, and (3) quality of attributions.
URL:https://live-hu-cmsa-222.pantheonsite.io/event/ai_101426/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:AI for the Working Mathematician,Colloquia & Seminar
ATTACH;FMTTYPE=image/png:https://live-hu-cmsa-222.pantheonsite.io/media/2026/10/CMSA-AI-for-Mathematicians-Seminar-10.14.2026.docx-scaled.png
END:VEVENT
END:VCALENDAR