AI for the Working Mathematician
An informal Georgia Tech lunch discussion group
Thursdays, 11:30 a.m.–12:30 p.m. · Skiles 006 · Lunch provided
Thursdays, 11:30 a.m.–12:30 p.m. · Skiles 006 · Lunch provided
AI for the Working Mathematician is an informal discussion group for mathematicians interested in practical ways that artificial intelligence can support mathematical research and increase productivity.
Topics may include AI-assisted problem solving, literature searches, mathematical experimentation and computation, writing and editing, software development, conjecture generation, proof discovery and verification, and AI-assisted or automated formalization using Lean and other proof assistants.
We will also discuss the broader effects of AI on mathematical research and on the profession of mathematics.
Although both are important subjects, the group will generally not focus on the use of AI in teaching or on the mathematics underlying AI systems.
The group is intended primarily for graduate students, postdocs, and faculty, but anyone with an interest in the subject is welcome. Presentations will be aimed at a broad mathematical audience.
Fall 2026 Schedule
SEPTEMBER 3
Speaker/topic: Matt Baker, "Doing Mathematics with AI"
SEPTEMBER 17
Speaker/topic: Kuldeep Meel, "Tex2Lean"
OCTOBER 1
Speaker/topic: TBA
OCTOBER 15
Speaker/topic: TBA
NOVEMBER 5
Speaker/topic: TBA
NOVEMBER 19
Speaker/topic: TBA
Lunch will be provided at no cost to attendees. RSVPs are not required, and food will be available on a first-come, first-served basis.
What happens at a meeting?
A typical meeting will begin with a 20–30-minute presentation, followed by discussion.
Presentations might include:
• a useful way someone has found to use AI in their mathematical work;
• a demonstration of a particular AI tool or workflow;
• a case study involving AI-assisted mathematical research;
• AI-assisted proof formalization using Lean or another proof assistant;
• a book-club-style discussion of an essay, blog post, or paper; or
• discussion of a recent AI-assisted mathematical discovery, counterexample, or other development.
Suggestions and volunteers are very welcome.
Join the group / Suggest a topic
To join the email distribution list, suggest a topic or guest speaker, volunteer to give a short presentation, or give us a rough indication of which meetings you may attend, please fill out the brief form below.
The attendance questions are nonbinding and are intended only to help us estimate interest and lunch demand.