AI for the Working Mathematician meets Wednesdays at 4:30 pm ET. Organizers: Aaron Landesman and Ahsan Khan. Please visit this link to join the mailing list.

The schedule can also be viewed at this link.

First Proof Batch 3: Mathematicians putting AI to the test

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 Abstract: First Proof is an initiative that aims to obtain a […]