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

Published OEIS sequences I have authored or extended, with a separate record of proposals awaiting review. Computation, proofs, and reproduction notes across combinatorics and related fields.

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.