AI for the Working Mathematician
AI for the Working Mathematician Speaker: Harold Williams, USC Title: An Informal Introduction to Formal Proofs Abstract: In this talk we will give an introduction to Lean, a programming language […]
8 events found.
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.
Large Hypercubes
AI for the Working Mathematician Speaker: Jordan Ellenberg, University of Wisconsin-Madison Title: Large Hypercubes Abstract: I'll talk about this paper: Bruhat intervals that are large hypercubes <arxiv.org/abs/2601.01235> in which we use […]
First Proof Batch 3: Mathematicians putting AI to the test
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 […]
AI for the Working Mathematician
AI for the Working Mathematician Speaker: Tristan Buckmaster, NYU Title: TBA
AI for the Working Mathematician
AI for the Working Mathematician Speaker: TBA Title: TBA
AI for the Working Mathematician
AI for the Working Mathematician Speaker: Ken Ono, Axiom Math and University of Virginia Title: TBA
AI for the Working Mathematician
AI for the Working Mathematician Speaker: Mark Selke, Harvard Title: TBA
AI for the Working Mathematician
AI for the Working Mathematician Speaker: Ravi Vakil, Stanford University