open problem

Yang-Mills Mass Gap

Proving that quantum Yang-Mills theory exists rigorously and has a positive mass gap. A Clay Millennium Prize problem.

0 machine-reviewed papers whose extracted claims name this problem. Matching is literal, over the claim graph, so every listing traces to a sentence in a review.

This is the review hub: papers that name the problem, with the machine's verdict on each. The claims shelf lists the individual claims themselves, formal (Lean) or stated.