Definition
Plain language
The Online Encyclopedia of Integer Sequences — a giant catalog of number patterns mathematicians have studied.
As stated in the literature
The Online Encyclopedia of Integer Sequences, a large database of integer sequences with cross-references and conjectures; used as a source of open mathematical conjectures for AI-driven formal proof search.
Also called: Online Encyclopedia of Integer Sequences
Why it matters: It's a curated reservoir of open mathematical structure, ideal for testing whether AI systems can prove new statements about real sequences.
For example, you can paste 1, 1, 2, 3, 5, 8, 13 into OEIS and it tells you it's the Fibonacci sequence along with related conjectures.
Heard on the show
“Four hundred and ninety-two conjectures from the Online Encyclopedia of Integer Sequences.”Episode 067 — An AI Just Solved a 1996 Erdős Problem—and the Simplest Agent Won