Seminar Details
Toward Reliable AI-Assisted Mathematics
- Start Date: September 23, 2026
- Event Start Time: 10:00 AM
- Event End Time: 11:00 AM
- Event Location: Hill Center, Room 705 Rutgers University, Busch Campus, Piscataway, NJ and Online
- Seminar Type: Current Seminars
- Seminar location:
Hill Center | Room 705
Rutgers University | Busch Campus | Piscataway, NJAlso available on Zoom: https://rutgers.zoom.us/j/94999749212?pwd=mBADyoubpVrIexy6X34S6nj47ft316.1
Passcode: 516100 - Seminar Series: AI and Mathematics Seminar
- Presenter(s): Qihao Ye, Columbia
- Presentation Type: Stand Alone Presentation
- Abstract:
This talk explores how AI can support literature review, proof development, and verification, emphasizing practical, affordable workflows for individual researchers. I will examine seven recurring failure modes and introduce QED, an open-source multi-agent system designed to address them. As a concrete case study, I will discuss the AI-assisted construction of Carleman weights for wave equations on the half-line, illustrating how individual researchers can combine AI-assisted search with their own mathematical insight and rigorous verification. The QED implementation is available at https://github.com/proofQED/QED, and the case-study paper is available at https://arxiv.org/abs/2609.06283.