AI for the Working Mathematician Speaker: Daniel Litt, University of Toronto Title: Working with LLMs to do high quality math Abstract: Much hay has been made of the capabilities of LLMs to do math autonomously, and indeed frontier models have resolved some long-standing, interesting open questions. But our goal is not to produce papers, but rather […]
AI for the Working Mathematician Speaker: Akhil Mathew, University of Chicago
AI for the Working Mathematician Speaker: Harold Williams, USC Title: TBA
AI for the Working Mathematician Speaker: Jordan Ellenberg, University of Wisconsin-Madison Title: TBA
AI for the Working Mathematician Speaker: Lauren Williams, Harvard Title: First Proof Batch 3: Mathematicians putting AI to the test
AI for the Working Mathematician Speaker: TBA Title: TBA
AI for the Working Mathematician Speaker: TBA Title: TBA
AI for the Working Mathematician Speaker: TBA Title: TBA
AI for the Working Mathematician Speaker: TBA Title: TBA
AI for the Working Mathematician Speaker: Mark Selke, Harvard Title: TBA