First Proof: Mathematicians Putting AI to the Test

Featuring Manjul Bhargava, Alex Kontorovich, Dan Spielman,
Lauren Williams, and Mohammed Abouzaid

Saturday, March 14
6:30 pm to 7:30 pm
(in person)

What happens when artificial intelligence attempts to do real mathematics?

Join MacArthur Fellows Dan Spielman and Lauren Williams and renowned mathematicians Mohammed Abouzaid and Alex Kontorovich for a dynamic public conversation about First Proof, their new initiative designed to evaluate whether AI systems can genuinely engage in research-level mathematics.  Moving beyond routine problem-solving, First Proof investigates whether today’s most advanced AI models can contribute to authentic mathematical discovery.

Moderated by MoMath President and Fields Medalist Manjul Bhargava, the discussion will explore how mathematicians and computer scientists are assessing both the promise and the limitations of AI.  What distinguishes creative mathematical insight from computation?  Can machines meaningfully participate in the deeply human process of discovery?  And what might this mean for the future of research?

Hosted on Pi Day — an annual celebration of the mathematical constant 3.14 — this special event offers a rare opportunity to hear directly from leading thinkers at the forefront of mathematics and artificial intelligence.

 

Supported by the macarth_primary_logo.png

When
March 14th, 2026 from  6:30 pm to  7:30 pm
Location
635 Sixth Avenue
New York, 10011
United States
Contact
Phone: 212-542-0566
Event Fee(s)
Registration
Free registration (while supplies last) $0.00
Event fee $15.00
Optional donation to help families in need
-
$7 donation
$15 donation
$30 donation