Over the past few months I have had fifteen integer sequences published in the On-Line Encyclopedia of Integer Sequences: nine new sequences I authored, and six classical sequences I extended with new terms.
They have almost nothing in common by subject. They range over Ramsey theory, extremal graph theory, knot theory, algebraic graph theory, additive combinatorics, Boolean function complexity, and combinatorial game theory. What they share is how they were found. Each is a quantity with no known formula, computed exactly by SAT solving or exhaustive search, pushed one value past the published frontier, and checked against all prior art before it was submitted. The spread across fields is deliberate. It is evidence that the method travels.
The method also has a direction. The computed values are where I go looking for structure. One of them, the distinct-variable Rado numbers for x + y = nz (A394445), began as a column of computed integers and ended as a proved theorem with a closed form and a 500-term b-file. The rest are trailheads: some already followed, others left marked for whoever arrives next.
The full portfolio, with a table of every sequence, its domain, and the OEIS editors who reviewed it, is at /research/oeis-contributions/. Every value is reproducible: the portfolio repository keeps a single source of truth and, for each sequence, a standalone script that recomputes its terms from scratch and checks them against the published values before anything is submitted. A few more candidates are drafted and in the queue.
The OEIS has been a shared ledger of integer sequences since 1964. Adding a term is a small, permanent contribution to a commons: a number that was unknown is now known, checked, and citable by anyone who needs it.
Discussion