Section 10, paragraph 6Neither the verification nor the experiments show that gradient descent or self-play discovers the constructions
Informal interpretation Motivation, interpretation or scope; not a formal claim.
1 Paper text
Neither the mathematical verification nor the experiments establish that gradient descent or self-play will discover the constructions in general.
Generated from paper_jmlr.tex, lines 1297–1297.
2 Explain this
A reminder that neither the theorems nor the experiments show that gradient descent or self-play will find these constructions in general. The theorems are about what can be represented and computed; the experiments are about particular supervised and imitation runs.
3 How this is formalised
A scope statement; nothing is formalised. The corresponding open question is Section 8.5, paragraph 3.
| Paper anchor | sec:development-p6 (website anchor; the manuscript has no label here) |
|---|---|
| Displayed as | Section 10, paragraph 6 |
| Claim | Neither the verification nor the experiments show that gradient descent or self-play discovers the constructions |
| Coverage category | Informal interpretation |
| Statement source | paper_jmlr.tex lines 1297–1297; SHA-256 of the normalised block source b19a441740a849b4… |
| Explanations | explain/c-no-discovery, formal/c-no-discovery |
| Build evidence | fresh isolated rebuild, audit report |
4 Lean statement and source
No Lean statement corresponds to this claim. This is interpretation or motivation, not a formal mathematical claim.
Build evidence: fresh isolated rebuild of all 38 bundled modules with Lean (version 4.26.0, started 2026-10-10T15:21:56Z, finished 2026-10-10T15:27:00Z: 38/38 modules compiled, 1588 axiom reports, no errors. See Build for the commands and the independent audit of 2026-10-10 (dated evidence).