Manin, 2020. A hardness of approximation result in metric geometry.