3 problems
Nonpositive-curvature local diffeomorphism conjecture. If
Boundary-image conjecture. For any component of , has empty interior in .
Fefferman–Graham flatness conjecture. There exists a metric representative in that is formally to all orders Poincaré–Einstein.