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:20261004T222756Z
UID:AI-for-the-working-mathematician/1
DESCRIPTION:Title: Working with LLMs to do high quality math\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:20261004T222756Z
UID:AI-for-the-working-mathematician/2
DESCRIPTION:Title: Large Hypercubes\nby Jordan Ellenberg (Univer
sity of Wisconsin–Madison) as part of AI for the working mathematician\n
\nLecture held in Harvard CMSA room G-10.\n\nAbstract\nI'll talk about thi
s paper\n\nhttps://arxiv.org/abs/2601.01235\n\nin which we use a tool from
Google\, AlphaEvolve\, to discover unexpected combinatorial structures in
side the symmetric group (to be precise\, a large hypercube in the Bruhat
order.) I'll talk about why this problem was a good fit for this particula
r machine learning protocol\, which is a bit different from the most popul
ar prevailing approaches. And I'll also just talk about this large hyperc
ube\, which is interesting in its own right!\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:20261004T222756Z
UID:AI-for-the-working-mathematician/5
DESCRIPTION:Title: Finite locally free group schemes\nby Akhil M
athew (University of Chicago) as part of AI for the working mathematician\
n\nLecture held in Harvard CMSA room G-10.\n\nAbstract\nThe notion of a fi
nite locally free group scheme is a natural generalization of\nthe usual n
otion of a finite group. Lagrange's theorem states that all nth\npowers va
nish in a group of order n. However\, this need not hold for a group\nsche
me. I will explain some history and motivation of this problem and describ
e\na finite locally group scheme of order four (found by AI) where fourth\
npowers are nonzero.\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:20261004T222756Z
UID:AI-for-the-working-mathematician/6
DESCRIPTION:Title: An Informal Introduction to Formal Proofs\nby
Harold Williams (University of Southern California) as part of AI for the
working mathematician\n\nLecture held in Harvard CMSA room G-10.\n\nAbstr
act\nIn this talk we will give an introduction to Lean\, a programming lan
guage adapted to expressing and verifying proofs. Lean and its flagship li
brary\, mathlib\, have been the focus of a dedicated user community for ab
out a decade\, but their visibility has grown significantly in the last ye
ar. This is in large part because Lean makes validating large AI-generated
proofs dramatically more practical: the human work is reduced from analyz
ing the logical correctness of an entire proof to analyzing the semantic c
orrectness of a Lean statement. The main goal of the talk will be to build
some example-based intuition for how this works in practice. Time permitt
ing\, we will also discuss how Lean interacts with the way modern AI syste
ms are trained\, and potential implications of formal theorem proving for
the broader interaction between science and mathematics.\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:20261004T222756Z
UID:AI-for-the-working-mathematician/7
DESCRIPTION:Title: First Proof Batch 3: Mathematicians putting AI to
the test\nby Lauren Williams (Harvard University) as part of AI for t
he working mathematician\n\nLecture held in Harvard CMSA room G-10.\n\nAbs
tract\nFirst Proof is an initiative that aims to obtain a nuanced\, object
ive assessment about the capabilities of large language models to prove sp
ecified mathematical statements.\nI will report on the results of First Pr
oof'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.\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:20261004T222756Z
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:Drew Sutherland (MIT)
DTSTART:20261104T213000Z
DTEND:20261104T223000Z
DTSTAMP:20261004T222756Z
UID:AI-for-the-working-mathematician/10
DESCRIPTION:by Drew Sutherland (MIT) as part of AI for the working mathema
tician\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:Ken Ono (Axiom Math and University of Virginia)
DTSTART:20261118T213000Z
DTEND:20261118T223000Z
DTSTAMP:20261004T222756Z
UID:AI-for-the-working-mathematician/11
DESCRIPTION:by Ken Ono (Axiom Math and University of Virginia) 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:20261004T222756Z
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:Ravi Vakil (Stanford University)
DTSTART:20270203T213000Z
DTEND:20270203T223000Z
DTSTAMP:20261004T222756Z
UID:AI-for-the-working-mathematician/13
DESCRIPTION:by Ravi Vakil (Stanford 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/13/
END:VEVENT
BEGIN:VEVENT
SUMMARY:TBA
DTSTART:20270210T213000Z
DTEND:20270210T223000Z
DTSTAMP:20261004T222756Z
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:20261004T222756Z
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:20261004T222756Z
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:20261004T222756Z
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:20261004T222756Z
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:20261004T222756Z
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:20261004T222756Z
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:20261004T222756Z
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:20261004T222756Z
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