ポアンカレ予想
The seventh problem, the Poincaré conjecture, has been solved; however, a generalization called the smooth four-dimensional Poincaré conjecture—that is, whether a four-dimensional topological sphere can have two or more inequivalent smooth structures—is still unsolved.