- Series
- Additional Talks and Lectures
- Time
- Wednesday, January 21, 2026 - 1:00pm for 1 hour (actually 50 minutes)
- Location
- Skiles 006
- Speaker
- Anton Leykin – Georgia Tech
- Organizer
- Anton Leykin
Let us discuss how to use generative AI to help with math and coding.
My presentation features two scenarios:
Coding in LaTeX. Suppose you have a raw draft of what potentially could be a math paper. We will consider and apply simple AI tools that may help realizing the potential.
Coding in CAS. Suppose you have a raw idea for a package in a Computer Algebra System; your raw idea may be limited to a rough description of the input/output of a method you would like to implement. How far can an AI assistant take you? Can it autonomously code a working software package?