Uploaded March 2026 | Updated September 2026, 2 weeks ago
In the latest episode of our Polylogues web series, Simons Institute Director Venkat Guruswami interviews Dan Spielman (Yale) and Nikhil Srivastava (Simons Institute), two of the organizers of First Proof, a project that aims to measure the capabilities of AI systems in the context of research mathematics. First Proof announced its forthcoming benchmark and second batch of problems this past weekend, on Pi Day 2026.
In the latest episode of our Polylogues web series, Simons Institute Director Venkat Guruswami interviews Dan Spielman (Yale) and Nikhil Srivastava (Simons Institute), two of the organizers of First Proof, a project that aims to measure the capabilities of AI systems in the context of research mathematics. First Proof announced its forthcoming benchmark and second batch of problems this past weekend, on Pi Day 2026.
