logoalt Hacker News

GPersontoday at 2:04 PM0 repliesview on HN

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.