Ask a model how different two things are, one pair at a time, and you get a table of numbers. A table of distances is a shape — or it is not one, and the difference is decidable. Every pair is asked both ways round, so the asymmetry is measured rather than averaged away, and the two halves of each pair come from calls that never see each other.
Each pair is put twice, once in each direction, in two calls that never meet. Nothing in any prompt mentions geometry, dimension, circles or distance matrices — only “how far apart are these two, as a single integer”. A model that answers out of a structure has a reason to be consistent across 1,980 isolated questions; a model that answers out of a reflex does not, and the difference is measurable without asking either of them anything about itself.
The two directions are then added rather than averaged, because the sum is an integer where the mean is a half, doubling a table changes no triangle inequality and no signature, and integers keep every later step in exact arithmetic. From there: the metric gate, the doubly-centred Gram matrix and its exact signature by symmetric congruence, the float spectrum beside it, and — where the items have an order — two one-parameter fits, a line and a circle, each with a single free scale so neither can flatter itself by having more knobs.
The scale is part of the experiment. Answers run 0–99, not 0–100, because a cycle of six or twelve contains the ratios 1 : 2 : 3 and 100 is not divisible by 3 — on a 0–100 scale a model can be correct to the nearest integer and still hand back something that is not a distance, by one unit.
The twelve hours of a clock and the ten digits are almost the same symbols, and they have opposite geometries. Eleven and one are neighbours; nine and one are eight apart. Nothing in either prompt says which frame is in play — only the phrase “on a clock face” or “as digits”. If a model is carrying the structure rather than a lookup of numeral similarity, the same numerals must come back as a circle in one and a line in the other.
For every set with an order, the same table is held against the two shapes it could have: d ∝ |i − j| and d ∝ min(|i − j|, n − |i − j|). Each has exactly one free scale, fixed in closed form, so the residuals are comparable. Shorter is better.
A table of distances must satisfy d(a,c) ≤ d(a,b) + d(b,c) for every triple, or no arrangement of points in any space has those distances. Each cell below is one model on one world: the share of triples that break, and by how much against the largest distance that model was willing to name.
The gate is reported here rather than enforced. Classical scaling is defined on any symmetric table with a zero diagonal, and the negative mass beside each plate already says how far from Euclidean it is; refusing to draw would discard the more interesting fact, which is that the triangle inequality fails almost exactly where a model knows something. Structure is what produces the near-zero distances that let a triangle break. Flatness is what protects it.
The canonical cycle. Monday follows Sunday, so a model that knows the WEEK closes the loop and one that knows only an ordering lays them on a line.
Each model's picture is its own; a table of distances fixes nothing about rotation, reflection or overall size, so putting three of them in one frame means removing exactly those freedoms and nothing else. What is left is disagreement about shape.
The sharpest cycle on the page. B is one semitone from C but they sit at opposite ends of the alphabet and of the scale as written, so a model with pitch CLASS closes and a model with pitch NAMES does not.
Each model's picture is its own; a table of distances fixes nothing about rotation, reflection or overall size, so putting three of them in one frame means removing exactly those freedoms and nothing else. What is left is disagreement about shape.
The one cycle that is not a convention: red really is adjacent to violet on the wheel. A model that puts them at opposite ends has learned a list of colour words rather than a colour space.
Each model's picture is its own; a table of distances fixes nothing about rotation, reflection or overall size, so putting three of them in one frame means removing exactly those freedoms and nothing else. What is left is disagreement about shape.
A taxonomy is a tree — cats inside cats, dogs inside dogs, no way round. If a method only reports "structured", this looks like the cycles; the four-point condition is what tells them apart.
Each model's picture is its own; a table of distances fixes nothing about rotation, reflection or overall size, so putting three of them in one frame means removing exactly those freedoms and nothing else. What is left is disagreement about shape.
The floor. These are not words, so there is no meaning to have a shape, and whatever comes back is orthography, keyboard distance or invention. Everything above has to clear it.
Each model's picture is its own; a table of distances fixes nothing about rotation, reflection or overall size, so putting three of them in one frame means removing exactly those freedoms and nothing else. What is left is disagreement about shape. Here there is nothing else: seven words with no relation to each other and no relation for the models to agree about, so the three frames fall on top of one another only by accident.
It cannot say a model “represents” the week as a circle. Nothing here opens a model or reads a weight; the only evidence is what came back through the same interface anyone else has, and a shape in the answers is a fact about the answers.
What it can say is sharper than it looks, because the facts on this page live in no single answer. “Eleven and one are 22 apart” carries no information about a circle. The circle exists only in 132 answers at once, and it survived being cut into 132 independent questions and reassembled by arithmetic no model saw. A model that produced these numbers one at a time, without memory between calls, and reconstructed a 1%-residual circle, was consulting something with that shape in it.
The decisions are exact. Symmetrised tables are integers, the Gram matrix is built in rational arithmetic, the signature comes from symmetric congruence rather than an eigensolver, and the two shape fits have one parameter each. There is no threshold anywhere that was chosen after seeing the results. The float spectrum is printed beside the exact signature for the reason it always must be: an exact signature is infinitely sensitive, and a single unit of quantisation turns a rank-one table full-rank without changing anything anyone would care about.
node experiments/neural-geometry/probe.js --live
node experiments/neural-geometry/decide.js
node tools/build-neural-geometry.js
Without --live the probe touches no network and prints the prompts it would send. The run behind this page cost $1.65: Opus 5 $1.36, Sonnet 5 $0.23, Haiku 4.5 $0.06.