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.

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 non-binding and are intended only to help us estimate interest and lunch demand. Join the mailing list or suggest a topic by clicking on the link below. 

https://forms.gle/j99NpEDdNsD5zs258

Organizer: Matt Baker

School of Mathematics

Georgia Institute of Technology