Seminar series
Date
Thu, 03 Dec 2026
17:00
17:00
Location
L3
Speaker
Hugh Woodin
Organisation
Harvard
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.