Subscribe to Events

Speaker: Qihao Ye (Columbia)

 

Title: Toward Reliable AI-Assisted Mathematics

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.