Tag
A paper reports an AI-agent-driven attack on Conway's 99-graph problem, providing partial-credit bounds, a forced-structure reduction, and a verifiable framework, without solving the open question.