CMSA Q&A Seminar Title: Discussion on OpenAI Math Papers Abstract: You have likely seen that OpenAI released 722 math papers. For the Q&A meeting on Wednesday October 14, we would like to gather to discuss them and hear informal, short presentations (say 10 minutes maximum) from anyone who is engaging with at least one of the […]
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 promise the paradigm of formally verified mathematics, but large-scale formalization projects have faced major barriers to entry, including the need for expertise in formal verification […]
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 nuanced, objective assessment about the capabilities of large language models to prove specified mathematical statements. I will report on the results of First Proof's third […]
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 rich structure, relating in several ways to complex Euclidean spaces. This structure can be used to construct the classical twistor space Z over an oriented […]
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 data-generating process but may fail to hold uniformly over a class of relevant distributions. Starting with the familiar t-test, I will illustrate why this distinction […]
Dates: October 19 & 21, 2026 Time: 4:00–5:00 pm ET Location: Science Center - Zimmer Hall Lecture Hall D and via Zoom Webinar In-person registration Webinar Registration Speaker: Daniel Litt, University of Toronto & Benedict H. Gross Distinguished Visitor, Harvard Mathematics Department Monday, October 19, 2026 Lecture 1: The arithmetic of differential equations Abstract: […]
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 two most impactful contributions of Nesterov on both theory and computation in optimization are (i) self-concordant barriers for interior-point methods in convex optimization, and (ii) […]
New Technologies in Mathematics Seminar Speaker: Riccardo Zecchina (Bocconi University) Title: Local learning needs dendrites Abstract: I will present a learning scheme for recurrent networks in which nonlinear dendrites enable learning by generating and stabilizing task-relevant attractors within a representation manifold. The scheme is local in space and time and matches the performance of backpropagation […]
Dates: October 19 & 21, 2026 Time: 4:00–5:00 pm ET Location: Science Center – Zimmer Hall Lecture Hall D, 1 Oxford Street, Cambridge MA & via Zoom Webinar In-person registration Webinar Registration Speaker: Daniel Litt, University of Toronto & Benedict H. Gross Distinguished Visitor, Harvard Mathematics Department Monday, October 19, 2026 Lecture 1: The arithmetic […]
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 pairs of nonnegative integers are realized as (\chi(X),c_1^2(X)) for a symplectic 4-manifold X, where \chi(X)=(e(X)+\sigma(X))/4. In this talk, we will address the geography of simply […]
Joint Math/CMSA Geometry and Quantum Theory Seminar Speaker: Kason Kunkelmann, Harvard Title: A Rigorous Construction of the Free Quantum Field Abstract: In this talk we will build on last week’s discrete intuition and rigorously construct our first continuum quantum field theory: the free field. Following Chapter three of Chatterjee’s notes, we will realize it as a Gaussian […]
CMSA Q&A Seminar Speaker: tba