Questions, not proof records

Open-problem statements, with their sources attached.

Each statement record keeps the mathematical question, a dated status source, accessible references, and any pinned Lean formulation separate from proof verification.

“Open” is a dated source assertion. In these pinned sources, sorry marks an admitted statement, not a proof. Source indexing does not mean the formulation has been independently built or certified by Therefore.
All topics

11 of 1194 statement records

17 source collections · 43 mathematical fields

Clear filters
Open problemEditorial · Partial differential equations

Navier-Stokes existence and smoothness

For three-dimensional incompressible flow, determine whether tu+(u)u=p+νΔu\partial_tu+(u\cdot\nabla)u=-\nabla p+\nu\Delta u with u=0\nabla\cdot u=0 always has a global smooth solution, or exhibit finite-time breakdown.

Source checked Jul 24, 20261 pinned Lean statementInspect problem
Source labels openPapers · Partial differential equations

De Giorgi's conjecture

De Giorgi's conjecture holds in dimension n8n ≤ 8.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openPapers · Partial differential equations

De Giorgi's conjecture

De Giorgi's conjecture holds in dimension n=4n = 4.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openPapers · Partial differential equations

De Giorgi's conjecture

De Giorgi's conjecture holds in dimension n=5n = 5.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openPapers · Partial differential equations

De Giorgi's conjecture

De Giorgi's conjecture holds in dimension n=6n = 6.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openPapers · Partial differential equations

De Giorgi's conjecture

De Giorgi's conjecture holds in dimension n=7n = 7.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openPapers · Partial differential equations

De Giorgi's conjecture

De Giorgi's conjecture holds in dimension n=8n = 8.

Source checked Jul 26, 20261 pinned Lean statementInspect problem