Tue, 03 Nov 2026
14:00
14:00
L4
Scalable, open-access and multidisciplinary data integration pipeline for climate-sensitive diseases
Dasgupta, A
Perez-Fernandez, I
Huynh, T
Mills, C
Nicholls, R
Sambaturu, P
Choisy, M
Wallom, D
Nguyen-Duy, T
Inward, R
Brittain, J
Sparrow, S
Kraemer, M
Wellcome Open Research
volume 10
467-467
(01 Aug 2026)
doi:10.12688/wellcomeopenres.24774.3
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.