BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Jared Duker Lichtman (Stanford and Math\, Inc) and Jesse Han (Math
 \, Inc.)
DTSTART:20250918T183000Z
DTEND:20250918T193000Z
DTSTAMP:20260423T130356Z
UID:MITNT/128
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/MITNT/128/">
 Gauss - an agentic formalization of the Prime Number Theorem</a>\nby Jared
  Duker Lichtman (Stanford and Math\, Inc) and Jesse Han (Math\, Inc.) as p
 art of MIT number theory seminar\n\nLecture held in Room 2-190 in the Simo
 ns Building (building 2).\n\nAbstract\nIn this talk we'll highlight some r
 ecent formalization advances using a\nnew agent\, Gauss. In particular\, w
 ith Gauss we obtained a Lean proof of\nthe Prime Number Theorem in strong 
 form\, completing a challenge set in\nJanuary 2024 by Alex Kontorovich and
  Terry Tao. We hope Gauss will help\nassist working mathematicians\, espec
 ially those who do not write formal\ncode themselves.\n\nNote the unusual 
 day/time/place!\n
LOCATION:https://researchseminars.org/talk/MITNT/128/
END:VEVENT
END:VCALENDAR