therefore
Sign up
Open navigation

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

1 of 1194 statement records

17 source collections · 43 mathematical fields

Clear filters
Open problemEditorial · Mathematical physics

Yang-Mills existence and mass gap

For every compact simple gauge group GG, construct a nontrivial quantum Yang-Mills theory on R4\mathbb{R}^4 whose spectrum has a positive mass gap Δ>0\Delta>0.

Source checked Jul 24, 20261 pinned Lean statementInspect problem