BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Daniel Litt (University of Toronto)
DTSTART:20260909T203000Z
DTEND:20260909T213000Z
DTSTAMP:20260914T053427Z
UID:AI-for-the-working-mathematician/1
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/AI-for-the-w
 orking-mathematician/1/">Working with LLMs to do high quality math</a>\nby
  Daniel Litt (University of Toronto) as part of AI for the working mathema
 tician\n\nLecture held in Harvard CMSA room G-10.\n\nAbstract\nMuch hay ha
 s been made of the capabilities of LLMs to do math autonomously\, and inde
 ed frontier models have resolved some long-standing\, interesting open que
 stions. But our goal is not to produce papers\, but rather to do high qual
 ity mathematics. I'll discuss some experiments over the past year in tryin
 g to get LLMs to help with producing high quality mathematics\, non-autono
 mously\, and speculate a bit about the future.\n
LOCATION:https://researchseminars.org/talk/AI-for-the-working-mathematicia
 n/1/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Jordan Ellenberg (University of Wisconsin–Madison)
DTSTART:20261009T203000Z
DTEND:20261009T213000Z
DTSTAMP:20260914T053427Z
UID:AI-for-the-working-mathematician/2
DESCRIPTION:by Jordan Ellenberg (University of Wisconsin–Madison) as par
 t of AI for the working mathematician\n\nLecture held in Harvard CMSA room
  G-10.\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/AI-for-the-working-mathematicia
 n/2/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Akhil Mathew (University of Chicago)
DTSTART:20260923T203000Z
DTEND:20260923T213000Z
DTSTAMP:20260914T053427Z
UID:AI-for-the-working-mathematician/5
DESCRIPTION:by Akhil Mathew (University of Chicago) as part of AI for the 
 working mathematician\n\nLecture held in Harvard CMSA room G-10.\nAbstract
 : TBA\n
LOCATION:https://researchseminars.org/talk/AI-for-the-working-mathematicia
 n/5/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Harold Williams (University of Southern California)
DTSTART:20260930T203000Z
DTEND:20260930T213000Z
DTSTAMP:20260914T053427Z
UID:AI-for-the-working-mathematician/6
DESCRIPTION:by Harold Williams (University of Southern California) as part
  of AI for the working mathematician\n\nLecture held in Harvard CMSA room 
 G-10.\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/AI-for-the-working-mathematicia
 n/6/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Lauren Williams (Harvard University)
DTSTART:20261014T203000Z
DTEND:20261014T213000Z
DTSTAMP:20260914T053427Z
UID:AI-for-the-working-mathematician/7
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/AI-for-the-w
 orking-mathematician/7/">First Proof Batch 3: Mathematicians putting AI to
  the test</a>\nby Lauren Williams (Harvard University) as part of AI for t
 he working mathematician\n\nLecture held in Harvard CMSA room G-10.\nAbstr
 act: TBA\n
LOCATION:https://researchseminars.org/talk/AI-for-the-working-mathematicia
 n/7/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Tristan Buckmaster (New York University)
DTSTART:20261028T203000Z
DTEND:20261028T213000Z
DTSTAMP:20260914T053427Z
UID:AI-for-the-working-mathematician/9
DESCRIPTION:by Tristan Buckmaster (New York University) as part of AI for 
 the working mathematician\n\nLecture held in Harvard CMSA room G-10.\nAbst
 ract: TBA\n
LOCATION:https://researchseminars.org/talk/AI-for-the-working-mathematicia
 n/9/
END:VEVENT
BEGIN:VEVENT
SUMMARY:TBA
DTSTART:20261104T213000Z
DTEND:20261104T223000Z
DTSTAMP:20260914T053427Z
UID:AI-for-the-working-mathematician/10
DESCRIPTION:by TBA as part of AI for the working mathematician\n\nLecture 
 held in Harvard CMSA room G-10.\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/AI-for-the-working-mathematicia
 n/10/
END:VEVENT
BEGIN:VEVENT
SUMMARY:TBA
DTSTART:20261118T213000Z
DTEND:20261118T223000Z
DTSTAMP:20260914T053427Z
UID:AI-for-the-working-mathematician/11
DESCRIPTION:by TBA as part of AI for the working mathematician\n\nLecture 
 held in Harvard CMSA room G-10.\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/AI-for-the-working-mathematicia
 n/11/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Mark Sellke (Harvard University)
DTSTART:20261202T213000Z
DTEND:20261202T223000Z
DTSTAMP:20260914T053427Z
UID:AI-for-the-working-mathematician/12
DESCRIPTION:by Mark Sellke (Harvard University) as part of AI for the work
 ing mathematician\n\nLecture held in Harvard CMSA room G-10.\nAbstract: TB
 A\n
LOCATION:https://researchseminars.org/talk/AI-for-the-working-mathematicia
 n/12/
END:VEVENT
BEGIN:VEVENT
SUMMARY:TBA
DTSTART:20270203T213000Z
DTEND:20270203T223000Z
DTSTAMP:20260914T053427Z
UID:AI-for-the-working-mathematician/13
DESCRIPTION:by TBA as part of AI for the working mathematician\n\nLecture 
 held in Harvard CMSA room G-10.\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/AI-for-the-working-mathematicia
 n/13/
END:VEVENT
BEGIN:VEVENT
SUMMARY:TBA
DTSTART:20270210T213000Z
DTEND:20270210T223000Z
DTSTAMP:20260914T053427Z
UID:AI-for-the-working-mathematician/14
DESCRIPTION:by TBA as part of AI for the working mathematician\n\nLecture 
 held in Harvard CMSA room G-10.\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/AI-for-the-working-mathematicia
 n/14/
END:VEVENT
BEGIN:VEVENT
SUMMARY:TBA
DTSTART:20270217T213000Z
DTEND:20270217T223000Z
DTSTAMP:20260914T053427Z
UID:AI-for-the-working-mathematician/15
DESCRIPTION:by TBA as part of AI for the working mathematician\n\nLecture 
 held in Harvard CMSA room G-10.\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/AI-for-the-working-mathematicia
 n/15/
END:VEVENT
BEGIN:VEVENT
SUMMARY:TBA
DTSTART:20270224T213000Z
DTEND:20270224T223000Z
DTSTAMP:20260914T053427Z
UID:AI-for-the-working-mathematician/16
DESCRIPTION:by TBA as part of AI for the working mathematician\n\nLecture 
 held in Harvard CMSA room G-10.\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/AI-for-the-working-mathematicia
 n/16/
END:VEVENT
BEGIN:VEVENT
SUMMARY:TBA
DTSTART:20270310T213000Z
DTEND:20270310T223000Z
DTSTAMP:20260914T053427Z
UID:AI-for-the-working-mathematician/18
DESCRIPTION:by TBA as part of AI for the working mathematician\n\nLecture 
 held in Harvard CMSA room G-10.\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/AI-for-the-working-mathematicia
 n/18/
END:VEVENT
BEGIN:VEVENT
SUMMARY:TBA
DTSTART:20270324T203000Z
DTEND:20270324T213000Z
DTSTAMP:20260914T053427Z
UID:AI-for-the-working-mathematician/19
DESCRIPTION:by TBA as part of AI for the working mathematician\n\nLecture 
 held in Harvard CMSA room G-10.\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/AI-for-the-working-mathematicia
 n/19/
END:VEVENT
BEGIN:VEVENT
SUMMARY:TBA
DTSTART:20270407T203000Z
DTEND:20270407T213000Z
DTSTAMP:20260914T053427Z
UID:AI-for-the-working-mathematician/21
DESCRIPTION:by TBA as part of AI for the working mathematician\n\nLecture 
 held in Harvard CMSA room G-10.\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/AI-for-the-working-mathematicia
 n/21/
END:VEVENT
BEGIN:VEVENT
SUMMARY:TBA
DTSTART:20270414T203000Z
DTEND:20270414T213000Z
DTSTAMP:20260914T053427Z
UID:AI-for-the-working-mathematician/22
DESCRIPTION:by TBA as part of AI for the working mathematician\n\nLecture 
 held in Harvard CMSA room G-10.\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/AI-for-the-working-mathematicia
 n/22/
END:VEVENT
BEGIN:VEVENT
SUMMARY:TBA
DTSTART:20270421T203000Z
DTEND:20270421T213000Z
DTSTAMP:20260914T053427Z
UID:AI-for-the-working-mathematician/23
DESCRIPTION:by TBA as part of AI for the working mathematician\n\nLecture 
 held in Harvard CMSA room G-10.\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/AI-for-the-working-mathematicia
 n/23/
END:VEVENT
BEGIN:VEVENT
SUMMARY:TBA
DTSTART:20270428T203000Z
DTEND:20270428T213000Z
DTSTAMP:20260914T053427Z
UID:AI-for-the-working-mathematician/24
DESCRIPTION:by TBA as part of AI for the working mathematician\n\nLecture 
 held in Harvard CMSA room G-10.\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/AI-for-the-working-mathematicia
 n/24/
END:VEVENT
END:VCALENDAR