Unique Games conjecture
Statement
Unique Games problem; inapproximability; hardness of approximation. Proved in ZFC.
Source
IMU Abacus Medal 2014. Unique Games problem; inapproximability; hardness of approximation. Proved in ZFC.
Domains
computer-science