Ramsey Theory

Complete Theorem for Distinct-Variable 2-Color Rado Numbers R(x+y=kz) for All k >= 8

What Happens When You Let an AI Loose on 1,000 Erdős Problems

I pointed Claude Code at the Erdős problem database with vague instructions to 'find interesting things.' It built 92 Python modules, ran 131 subagents, and computed exact Ramsey numbers nobody had computed before. I mostly watched.