Colloquium Speaker: Mehran Kardar, MIT Title: Life on a Noisy Seascape: Extinction, Growth, and Diversity Abstract: Populations and communities rarely evolve in static environments; their fitness landscapes fluctuate across space and time, forming what may be called a noisy seascape. This talk examines how such variability modifies classical models of population dynamics and community stability. Beginning from the […]
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 adapted to expressing and verifying proofs. Lean and its flagship library, mathlib, have been the focus of a dedicated user community for about a decade, […]
Geometry and Mathematical Physics Seminar Speaker: Tobias Ekholm, Uppsala
Member Seminar Speaker: Aaron Landesman Title: Painlevé VI: the search for canonical representations Abstract: In 1902, Painlevé classified second order differential equations whose only movable singularities are poles, thereby obtaining the six Painlevé equations. Algebraic solutions to Painlevé's sixth equation correspond to canonical triples of 2 by 2 complex matrices. One can alternatively view these […]
Colloquium Speaker: Subhabrata Sen (Harvard)
New Technologies in Mathematics Seminar Speaker: tba
Geometry and Mathematical Physics Seminar Speaker: John Alexander Cruz Morales, Universidad Nacional de Colombia
Member Seminar Speaker: Lorenzo Riva
AI for the Working Mathematician Speaker: Jordan Ellenberg, University of Wisconsin-Madison Title: TBA
New Technologies in Mathematics Seminar Speaker: tba
AI for the Working Mathematician Speaker: Lauren Williams, Harvard Title: First Proof Batch 3: Mathematicians putting AI to the test
Geometry and Mathematical Physics Seminar Speaker: Spiro Karigiannis, University of Waterloo