Topic: Mathematical proof

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

Recorded live at the International Congress of Mathematicians in Philadelphia, this episode brings hosts Janna Levin and Steven Strogatz together with Akshay Venkatesh, Ravi Vakil and Alex Kontorovich. They examine what recent AI-generated proofs demonstrate, how machine assistance may change mathematical research, and what proof, creativity, understanding and storytelling contribute to the discipline. The recording took place on 26 July 2026; Quanta published the episode on 3 September 2026.

Lauren Williams introduces the positive Grassmannian and the surprising connections it creates across mathematics and physics. She explains links to waves, traffic and particle scattering, and discusses how research-level mathematical problems can help assess what artificial intelligence is capable of proving.