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 a tool from Google, AlphaEvolve, to discover unexpected combinatorial structures inside the symmetric group (to be precise, a large hypercube in the Bruhat order.) I'll […]
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: Tristan Buckmaster, NYU Title: TBA
AI for the Working Mathematician Speaker: TBA Title: TBA
AI for the Working Mathematician Speaker: Ken Ono, Axiom Math and University of Virginia Title: TBA
AI for the Working Mathematician Speaker: Mark Selke, Harvard Title: TBA
AI for the Working Mathematician Speaker: Ravi Vakil, Stanford University