For centuries, mathematicians have relied on computers to perform calculations, to suggest conjectures, and as components of mathematical proofs. In the light of more modern tools such as interactive theorem provers, machine learning algorithms, and generative AI, we are beginning to see machines used in more creative and substantive ways in our work. In this talk, which is part of the Asprey Distinguished Lecture Series, we will survey some historical and recent developments and speculate on the future roles of machine assistance in mathematics.  

There will be a reception at 4:30 p.m.

For more information, please visit the Vassar Math & Stats Events Page.

Sponsored by the Mathematics & Statistics Department.

This event is open to the public.