Chao Xu: AI-Assisted Mathematics in Practice: Tools, Workflows, and a Case Study
- Speaker
- Chao Xu
- Affiliation
- University of Electronic Science and Technology of China
- Date
- Time
- – Asia/Shanghai
- Venue
- 518, Research Building 4
Abstract
Large language models are useful research assistants in theoretical computer science — generating examples, writing scripts, triaging literature, stress-testing conjectures, and contributing to proofs. This talk gives a brief overview of recent advances in AI for mathematics, then focuses on how to use these tools effectively in practice: what to prompt, when to trust, and how to verify. I will illustrate these ideas through a recent result obtained with significant AI assistance, walking through the real process of discovery, failure, and iteration that led to it.