Answers are grounded in this paper and cite their sources.
English and Japanese V19H manuscripts by Yushi Miyashiro presenting a computer-assisted argument for C(17, 11, 4)=15 through structural reductions, exact integer certificates and finite verification contracts. This unreviewed preprint distinguishes mathematical reductions from the computational evidence and its reproducibility obligations. V19H corrects the provenance description of an archived high-capacity verification log without changing the mathematical source outside that paragraph. Full unconditional Lean verification and independent specialist peer review remain incomplete. The companion evidence and computational supplement use the DOI 10.5281/zenodo.23691828. Research enquiries and corrections: y.miyashiro.research@gmail.com
No takes yet. Share an insight, caveat, or question.
Yushi Miyashiro (2026) studied this question.
Synapse has enriched 8 closely related papers on similar clinical questions. Consider them for comparative context: