01:07:11
published on December 23, 2025
Organising large proofs: techniques, tools, and future
By Georges Gonthier
Appears in collection : 2024 - PC1 - WS - Curved spacetimes, field theory and beyond
My talk will focus on the recent resolution of the Kerr stability conjecture for the particular case of slowly rotating Kerr black holes.