AIEN OS
AIEN Research — Formal Preprint

Computing Machinery and Understanding

From the Imitation Game to the Turing: An Operational Measure of Generalized Explanatory Compression

M. Drake Stapleton · AIEN Project · September 30, 2026
v1.9 first measurement recorded Not peer reviewed
Read PDF LaTeX source arXiv — forthcoming DOI — forthcoming Code & Evidence Cite

Abstract

In 1950, Alan Turing confronted the question “Can machines think?” not by attempting to define thought directly, but by replacing the question with an operational experiment: the imitation game. That methodological move transformed an ill-posed philosophical dispute into an empirical research program.

This paper proposes an analogous reformulation for a contemporary question: does a machine understand? One measurable component of understanding is operationalized as the discovery of compact structure that continues to predict previously unseen observations. The proposal combines Shannon information, predictive coding, Minimum Description Length, empirical verification, and physical resource accounting.

A new derived quantity is defined, Turing gain. One Turing (1 T) is one bit of net reduction in held-out total description length, after paying the explanation’s own description cost, measured against a declared baseline under a versioned measurement profile with sealed data. Turing yield (T/J) normalizes that gain by the energy consumed to achieve it.

What this paper claims

The paper defines the measure, states the assumptions under which it is meaningful, gives the measurement protocol (declared baselines, sealed held-out data, recomputable evidence), and specifies the conditions under which the proposal would be falsified. It names a preregistered experiment ladder and explicitly separates preregistered future experiments from apparatus-calibration runs, whose outputs are never reported as measurements.

The empirical-results section records the first canonical measurement: TY-1+TY-2 PASS, +2,559,679.825 T under measurement profile V0 (omega PR #85, 2026-09-29). What it does not claim: Turing yield (T/J) is not yet measured; joining energy measurements to Turing-gain receipts is the next step.

Gain, and the yield still to come

The paper separates two questions. Turing gain asks how much net held-out compression an explanation earns. Turing yield asks what that gain cost in energy. The first canonical measurement answers the first question only: no energy was measured in that run, so no yield is reported yet. The diagram below restates the paper's gain-versus-yield figure for the web.

Figure ยท Gain vs yieldConceptual schematic
the same understanding: the same T 0 HIGH YIELD steep slope: more Turings per joule LOW YIELD shallow slope: the same Turings, bought with far more energy yield = T / J FEW JOULES MANY JOULES ENERGY SPENT (JOULES) TURINGS EARNED (T)
Gain is not yield. Two machines can earn the same Turings while spending very different amounts of energy. Turing yield (T/J) divides the gain by the joules spent, drawn here as the slope from the origin: steeper is better. Conceptual schematic. Turing yield has not been measured yet, so no T/J values are reported anywhere on this site.

Experiment ladder

Preregistered — profile pending

EXP-001 — Omega-trace instrument validation

Does the Turing measurement work reproducibly on real Omega execution traces?

Preregistered — profile pending

EXP-002 — Stochastic Law Discovery

A hidden evaluator generates quantized trajectories from an undisclosed stochastic law — pure diffusion, diffusion with drift, or mean reversion. The candidate must earn complexity on sealed held-out trajectories without inventing structure inside noise.

Planned

EXP-003 — Active experiment selection

The machine proposes the most discriminating intervention.

Research artifacts

Formal preprint (PDF)
26 pages. The reference document: definitions, proofs, protocol, related work, falsification criteria.
SHA-256: 85c1059fa6dbb9ddbe4ba6148adc6b83ea4b9599faafadb1c0bca16e4a176e4e
paper.pdf
LaTeX source
Complete compilable source for the preprint.
SHA-256: d18fe7095f09ba06d26e9efcf724d6758cd2c091f045e78b11391c2b1eec527b
paper.tex
Digest manifest
SHA-256 manifest covering every released version of both papers.
SHA256SUMS
Measurement profiles (preregistration)
Frozen profile JSONs for EXP-001/002/003: baselines, candidate encodings, quantizer, blinding, seeds, verdict rules. Published when frozen.
Status: in preparation — no profile is frozen yet
profiles/
Omega evidence receipts
Public execution receipts from the AIEN/Omega architecture the measure emerged from: R13, R14, R15 qualification, TURING W0 proposal.
github.com/aien-dev/omega
Calibration protocol (PDF)
Turing Instrument Calibration and Validation Program v1.0 (27 pages): the ordered qualification gates CAL-0, EXP-001, EXP-002A/B/C/D, EXP-003, H3/H4/H5, with preregistration, blinding, and claim-ladder rules.
calibration protocol
Laboratory execution protocol (PDF)
Turing Laboratory Execution Protocol v1.0 (42 pages): the engineering specification that makes the calibration program executable — repository layout, artifact schemas, the turing CLI, statistical procedures, runbooks, and acceptance gates. Written so an independent lab can replicate every result from the artifacts alone.
execution protocol
Companion paper
“The Turing as a Measure Emerging from AIEN” — the engineering history: how the proposal emerged from the AIEN/Omega architecture.
companion page

Cite

@misc{stapleton2026turing,
  author = {M. Drake Stapleton},
  title = {Computing Machinery and Understanding:
           From the Imitation Game to the Turing:
           An Operational Measure of Generalized
           Explanatory Compression},
  year = {2026},
  month = {September},
  version = {1.9},
  note = {Preprint, not peer reviewed},
  url = {https://aienos.com/research/computing-machinery-and-understanding}
}