New Technologies in Mathematics Seminar Speaker: Tianyi Peng, Decision, Risk, and Operations Division, Columbia Business School Title: Prove2Me: Formalizing Fermat Last Theorem and Beyond Abstract: Proof assistants such as Lean 4 […]
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 […]
Geometry and Mathematical Physics Seminar Speaker: Spiro Karigiannis, University of Waterloo Title: A tale of two Lie groups Abstract: The classical Lie group SO(4) is well-known to possess a very […]
Member Seminar Speaker: Yiqi Liu Title: An Introduction to Statistical Inference for Partially Identified Models Abstract: Classical statistical inference often relies on asymptotic approximations that are valid for each fixed […]
Joint Math/CMSA Geometry and Quantum Theory Seminar Speaker: Kason Kunkelmann
CMSA Q&A Seminar Speaker: Robert M. Freund, MIT Title: What is a self-concordant barrier function?, and what is an accelerated first-order algorithm? (ICM Series: On the work of Yurii Nesterov) Abstract: The […]
CMSA Q&A Seminar Speaker: tba
New Technologies in Mathematics Seminar Speaker: Riccardo Zecchina (Bocconi University)
Geometry and Mathematical Physics Seminar
Member Seminar Speaker: David Ritzwoller
Colloquium Speaker: Anar Akhmedov, University of Minnesota Title: The Geography of Symplectic 4-Manifolds Abstract: The symplectic geography problem, originally posed by J. McCarthy-J. Wolfson and R. Gompf, asks which ordered […]
Joint Math/CMSA Geometry and Quantum Theory Seminar