Registry · Theorem
III.T46
conjectural
formalized
III.T46 — Bridge Ledger
Per-problem bridge status: 6 conjectural (RH, NS, YM, Hodge, BSD, Langlands), 1 bridge break (P vs NP), 1 established (Poincaré). Each uses the three-layer template.
Book III
Part 10
Ch. 68