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.
AI for the Working Mathematician Speaker: Ken Ono, Axiom Math and University of Virginia Title: Mathematics in the Age of AI: Discovery, Verification and the Future of Proof Abstract: How is […]
AI for the Working Mathematician Speaker: Mark Selke, Harvard Title: TBA
AI for the Working Mathematician Speaker: Ravi Vakil, Stanford University