A Forced-Structure Reduction and Verifiable Bounds for Conway's 99-Graph

arXiv:2608.11211v1 Announce Type: new Abstract: Conway's 99graph problem asks whether a strongly regular graph with parameters $\mathrm{srg}99,14,1,2$ exists. We report a systematic, fully reproducible attack by an autonomous AI research agent, scored under the track's partialcredit metric.