MathDB × Justin Sun Prize

Promoting progress in mathematics by recognizing outstanding solutions, formalizations and expositions.

Discover95,670Conjectures and Theorems in Mathematics

Explore MathDB
MathDB knowledge graph

Featured Problems

  • Gersten conjecture

    Morten Lüders proves the Gersten conjecture for p-adic étale Tate twists of smooth mixed-characteristic schemes in the Nisnevich topology and extends the associated cycle-class-map framework.

  • Francesco Scardino gives exact counterexamples to the unrestricted positivity conjecture and proves eventual positivity under a spectral-minimality condition.

  • Fei Xue proves Malikiosis’s discrete monotonicity property for every compact convex set when the relevant lattice subgroup has rank at most two.

  • Ni–Zheng curvature conjecture for Kähler C-spaces

    Run-Qiang Jian and Zhuhong Zhang prove the conjectured curvature inequalities for classical Kähler C-spaces.

  • Goldbach's conjecture

    Conjecture (strong, or binary, Goldbach conjecture). Every even integer n>2n>2 is the sum of two primes: …

    open · progress reportedCelebratedcombinatoricsnumber theory

  • Poincaré conjecture

    Poincaré conjecture. Every such MM is homeomorphic to the three-sphere …

    solvedNamed problemtopologyunsolved problem

  • Navier–Stokes existence and smoothness

    Whole space. The data decay rapidly: for all multi-indices α\alpha, all m≥0m\ge0 and all K≥0K\ge0, … A solution is admissible if u,p∈C∞(R3×[0,∞))u,p\in C^\infty(\mathbb R^3\times[0,\infty)) and t…

    open · progress reportedMillennium Prizemillennium prizeunsolved problem

  • General-coefficient C*-algebraic Bieberbach bounds

    Let AA be a unital C-algebra. Suppose the normalized power series … converges in the norm of AA and is injective on the norm-open unit ball {u:∥u∥<1}\{u:\|u\|<1\}. Must … Does the asser…

    open · solution reportedNamed problem