Events Search and Views Navigation

Event Views Navigation

Today

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.

  • Finite locally free group schemes

    CMSA Room G10 CMSA, 20 Garden Street, Cambridge, MA, United States

    AI for the Working Mathematician Speaker: Akhil Mathew, University of Chicago Title: Finite locally free group schemes Abstract: The notion of a finite locally free group scheme is a natural generalization […]

  • AI for the Working Mathematician

    CMSA Room G10 CMSA, 20 Garden Street, Cambridge, MA, United States

    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 […]

  • Large Hypercubes

    CMSA Room G10 CMSA, 20 Garden Street, Cambridge, MA, United States

    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

    CMSA Room G10 CMSA, 20 Garden Street, Cambridge, MA, United States

    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 […]

  • A ‘Deep Blue-Kasparov moment for mathematics’

    CMSA Room G10 CMSA, 20 Garden Street, Cambridge, MA, United States

    AI for the Working Mathematician Speaker: Tristan Buckmaster, NYU Title: A 'Deep Blue-Kasparov moment for mathematics' Abstract: In this talk I will describe recent work with Levent Alpöge proving the blow-up […]

  • AI for the Working Mathematician

    CMSA Room G10 CMSA, 20 Garden Street, Cambridge, MA, United States

    AI for the Working Mathematician Speaker: Andrew Sutherland, MIT Title: TBA

  • AI for the Working Mathematician

    CMSA Room G10 CMSA, 20 Garden Street, Cambridge, MA, United States

    AI for the Working Mathematician Speaker: Ken Ono, Axiom Math and University of Virginia Title: TBA

  • AI for the Working Mathematician

    CMSA Room G10 CMSA, 20 Garden Street, Cambridge, MA, United States

    AI for the Working Mathematician Speaker: Mark Selke, Harvard Title: TBA

  • AI for the Working Mathematician

    CMSA Room G10 CMSA, 20 Garden Street, Cambridge, MA, United States

    AI for the Working Mathematician Speaker: Ravi Vakil, Stanford University