Speaker:

Chao Xu (University of Electronic Science and Technology of China)

Time:

• 16:20-17:20 (Time in Beijing)
• April 3, 2026 (Friday)

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.