A Forced-Structure Reduction and Verifiable Bounds for Conway's 99-Graph
arXiv:2608.11211v1 Announce Type: new
Abstract: Conway's 99-graph problem asks whether a strongly regular graph with parameters $(99,14,1,2)$ exists. We report a systematic, fully reproducible attack by an autonomous AI