Wed, 04 Nov 2026
11:30
11:30
C6
Thu, 03 Dec 2026
17:00
17:00
L3
Truth, proof, and AI: AI and the V challenge
Hugh Woodin
(Harvard)
Abstract
AI systems have become very good at proving theorems with recent successes far beyond what was envisioned as possible even just 2 years ago. This in the last month has included theorems even in Set Theory (where the training data is far more limited). But the Universe of Sets, V, presents a unique challenge for AI.
Cosmos acts as nature says
Rameez, M
Sarkar, S
Physics World
volume 39
issue 9
20
(01 Sep 2026)
doi:10.1088/2058-7058/39/09/08
Mon, 19 Oct 2026
16:00
16:00
C4
Hermitian duals and the local Langlands correspondence
Maximilien MacKie
(University of Oxford)
Abstract
The local Langlands correspondence is a conjectural relation between the representations of a p-adic group and its L-parameters (which one can think of as representations of a `dual' group). Given a representation, it is natural to construct the hermitian dual representation. In this talk we present an explicit conjectural local Langlands correspondence, beyond the tempered case and including enhancements. We then show, assuming this conjecture, that constructing the hermitian dual corresponds to twisting its enhanced L-parameter by the compact real form on the dual group, generalising a result of Adams and Vogan. If time permits we will also show that standard desiderata of the local Langlands correspondence are in fact equivalent to this compatibility with hermitian duals.
Mathematical models of single and collective cell migration in the cranial neural crest
Johnson, S