First Proof: Mathematicians Putting AI to the Test

March 14, 2026

The National Museum of Mathematics in New York City hosts a moderated public conversation featuring two MacArthur Fellows, computer scientist Dan Spielman (2012) and pure mathematician Lauren K. Williams (2025), along with mathematician Alex Kontorovich about their initiative First Proof, which aims to assess the ability of AI models to engaged in research-level mathematics. Held on Pi Day (March 14), this event engages the public on how to think about research mathematics, the role that AI has the potential to play, and its power and drawbacks.

March 14, 2026
6:30 p.m.–7:30 p.m.
National Museum of Mathematics
635 Sixth Avenue
New York, NY