AI for the Working Mathematician

CMSA Room G10 CMSA, 20 Garden Street, Cambridge

AI for the Working Mathematician Speaker: Lauren Williams, Harvard Title: First Proof Batch 3: Mathematicians putting AI to the test