Can AI Do Research Math? | Polylogues

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.