An Autonomous Research Agent Produced Checkable Bounds on a 50-Year-Old Graph Problem · Polylog