First proof: mathematicians putting AI to the test
Mathematicians discuss how artificial intelligence is transforming mathematical proof and discovery at the National Museum of Mathematics.
Why we picked this
The question of whether AI can do real mathematics — not just compute, but prove — is one of the most interesting tests of machine intelligence we have. This is that conversation, hosted by people who actually work with proofs.
Can artificial intelligence actually do mathematics? Not just crunch numbers, but construct proofs, discover theorems, and advance the kind of abstract reasoning that has defined the discipline for millennia? The Museum of Mathematics brings together working mathematicians to explore how AI tools are reshaping mathematical discovery and what it means for the future of the field.
This event sits at a fascinating intersection: AI systems are increasingly capable of generating proofs that human mathematicians find valid, yet the question of whether these systems truly understand mathematics remains deeply contested. The panelists bring firsthand experience working with these tools and testing their limits.
Free admission. A rare chance to hear mathematicians talk about AI on their own terms, rather than the other way around.