Registry · Remark IV.R73 conjectural not_applicable

IV.R73 — The Millennium Problem, revisited

The Clay Millennium Problem asks for a mass gap in continuum Yang-Mills on R^4; in Category tau the question becomes whether the C-sector of B on T^2 has a positive first eigenvalue, answered yes subject to (KH-3) verification, but the bridge to continuum QFT is conjectural.

Book IV Part 5 Ch. 40

Lean Formalization

Module:

Symbol: