An Autonomous Research Agent Takes On Conway's 99-Graph Problem and Reports Verifiable Bounds, Not a Solution · Polylog