Comment on Formalization of the Solution to the Hopf ProblemComments−GPerson11dSurprisingly the (a, since multiple things have this name) Hopf conjecture was solved by human mathematicians around the same time. It’s the statement that S^2 x S^2 admits a positive sectional curvature Riemannian metric.
Comments
Surprisingly the (a, since multiple things have this name) Hopf conjecture was solved by human mathematicians around the same time. It’s the statement that S^2 x S^2 admits a positive sectional curvature Riemannian metric.