01:07:11
published on December 23, 2025
Organising large proofs: techniques, tools, and future
By Georges Gonthier
Appears in collection : Mathematics on the Crossroad of Centuries - A Conference in Honor of Maxim Kontsevich's 60th Birthday
There is a new family of homological mirror pairs, for which homological mirror symmetry can be understood as explicitly as in the simplest known examples. They categorify braid group representation coming from quantum groups. One application is to categorification of quantum link invariants.