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