Toward Reliable AI-Assisted Mathematics

Qihao Ye examines practical, affordable ways for individual mathematicians to use AI in literature searches, proof development and verification. The talk identifies seven recurring failure modes and introduces the open-source QED multi-agent system designed to address them. A case study on constructing Carleman weights for wave equations on the half-line shows how automated search can be combined with a researcher’s mathematical insight and rigorous checking. The organizer links both the implementation and the accompanying research paper. Online via Rutgers DIMACS Zoom. Wednesday 23 September 2026, 10:00–11:00 EDT (America/New_York; UTC−4). Use the Zoom link and passcode on the official event page. Organized by the DIMACS AI and Mathematics Seminar. This listing advertises the verified remote attendance option.