AT-1 Explain
Explain this data
The shortest program that reproduces a sequence isits explanation. AT-1 searches a program space in description-length order and returns the exact generator as a human-readable one-liner — verified on every term, shorter than the data. When no rule fits, it says so, rather than inventing one.
- x[n+2]=…
- recovers recurrences, affine, polynomial, periodic rules
- verified
- solved on a prefix, checked on every remaining term
- MDL win
- the program is shorter than the data it explains
- refuses noise
- no rule? it says NO_GENERATOR — no false explanations
at1 explain fibonacci.txt # AT-1 Explain: x[n+2] = 1*x[n+1] + 1*x[n], x[0]=0, x[1]=1 # verified on all 13 terms; program is shorter than the data. at1 explain random-noise.txt # NO_GENERATOR: no rule explains all terms.
Scope. This is the fast, readable answer over integer sequences (constant, affine, quadratic, periodic, linear recurrences). For a byte-exact, self-contained regenerator container over richer generators, use AT-1 Discover.
Billed per explanation — first 5,000/month free. See pricing.