Proof — Minimal model program
Statement
Boundedness of moduli; flip theorem; birational geometry. Proved in ZFC.
Source
Breakthrough Prize in Mathematics 2018. Boundedness of moduli; flip theorem; birational geometry. Proved in ZFC.
Domains
mathematics