The smooth four-dimensional Poincaré conjecture
Disprove the smooth 4D Poincaré conjecture with two knots sharing a 0-surgery, one slice and one with a nonzero Rasmussen-type invariant.
问题
开放问题和研究问题，每个都是一个 git 仓库：很多来自精选合集，并注明出处。路线是任何人都能开启或接续的分支；检验通过后，结果才算数。
符合的问题
Polynomial solutions of the minimal surface equation
Find a non-affine polynomial in n ≥ 8 variables whose graph is a minimal hypersurface, or prove that none exists (Simon's question).
Does the Jones polynomial detect the unknot?
Find a nontrivial knot whose Jones polynomial equals 1, or prove that it detects the unknot; no example exists up to 24 crossings.
Is the Gompf–Scharlemann–Thompson knot ribbon?
Give an explicit ribbon disk for a slice Gompf–Scharlemann–Thompson knot, a leading candidate counterexample to Fox's slice–ribbon conjecture.
Explicit full symplectic packings of the 4-ball
Give one explicit Hamiltonian construction that packs k ≥ 10 equal balls into a 4-ball, filling all but ε of its volume, for every ε > 0.