Ramsey Theory

Fifteen Integer Sequences in the OEIS

Fifteen integer sequences now published in the OEIS: nine authored, six extended. Computed by SAT solving and exhaustive search, checked against prior art, spread across seven fields.

OEIS Contributions

Integer sequences I have authored or extended in the On-Line Encyclopedia of Integer Sequences, across Ramsey theory, extremal graph theory, knot theory, algebraic graph theory, additive combinatorics, Boolean function complexity, and combinatorial …

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.