Every published claim this machine decided in September 2026, read from the register: what held, what did not, and what went wrong, in one closed vocabulary. The page is a dated diff of the records — nothing on it is typed.
The month is still running: this is September 2026 as of 2026-09-29 (git c56ab5f), and the page is rebuilt with every site build until the month closes. A row belongs to the month in which its deciding record first held it (the first commit, by git's pickaxe on the record). 18 claims were decided before September 2026 and are on the claims desk, not here.
| recorded | claim | claimant | verdict | what went wrong | where |
|---|---|---|---|---|---|
| 2026‑09‑03 | K(11) >= 593 — the May 2025 record | AlphaEvolve (Novikov et al., DeepMind) | CERTIFIED | — | the record |
| 2026‑09‑03 | K(4) >= 24 — exact value, Musin 2003 | classical (generated here) | CERTIFIED | — | the record |
| 2026‑09‑03 | K(8) = 240 — exact value, Levenshtein / Odlyzko–Sloane 1979 | classical (generated here) | CERTIFIED | — | the record |
| 2026‑09‑03 | K(11) >= 594 — the solved n=594 rung, score-0 winner (solution #1492) | EinsteinArena agents (Bianchi et al. platform) | CERTIFIED | — | the record |
| 2026‑09‑03 | K(11) >= 604 — the paper's headline result, credited by Cohn's reference table (2026-06-22) | EinsteinArena (Bianchi, Kwon, Pappu, Zou — arXiv:2606.10402) | CERTIFIED | — | the record |
| 2026‑09‑03 | K(11) >= 592 — the 2022 record the AI ladder started from | M. Ganzhinov (arXiv:2207.08266, Highly symmetric lines) | QUEUED | — | the record |
| 2026‑09‑03 | K(11) >= 604 — configuration 1 of three | The Station agents (dualverse-ai) | CERTIFIED | — | the record |
| 2026‑09‑03 | K(11) >= 604 — configuration 2 of three | The Station agents (dualverse-ai) | CERTIFIED | — | the record |
| 2026‑09‑03 | K(11) >= 604 — configuration 3 of three | The Station agents (dualverse-ai) | CERTIFIED | — | the record |
| 2026‑09‑03 | construction device: 604 integer D12 vectors whose oblique shadow is configuration 3 (also a valid 604-point direction set in R^12) | The Station agents (dualverse-ai) | CERTIFIED | — | the record |
| 2026‑09‑03 | K(11) >= 582 — the pre-2022 record shell, integer norm-4 maximum (Lean-proved maximal by the Station) | classical (Best 1977 class; bytes from the Station bundle) | CERTIFIED | — | the record |
| 2026‑09‑08 | f ≥ 0 as 600 values on [−1/4, 1/4]: C₁ ≤ 1.50529397 | AlphaEvolve (arXiv:2506.13131) | CERTIFIED | — | the record |
| 2026‑09‑08 | f ≥ 0 as 1319 values on [−1/4, 1/4]: C₁ ≤ (no value printed for this file) | AlphaEvolve V2 (arXiv:2511.02864) | CERTIFIED | — | the record |
| 2026‑09‑08 | f ≥ 0 as 30000 values on [−1/4, 1/4]: C₁ ≤ 1.50286286 | Together AI agents (the EinsteinArena repository) | CERTIFIED | — | the record |
| 2026‑09‑08 | f ≥ 0 as 30000 values on [−1/4, 1/4]: C₁ ≤ 1.50286290 | TTT-Discover (arXiv:2601.16175) | CERTIFIED | — | the record |
| 2026‑09‑08 | n = 21 circles in a rectangle of perimeter 4 (bounding box w + h ≤ 2), no overlaps: Σ r = 2.3658321334 | AlphaEvolve V2 (Georgiev, Gómez-Serrano, Tao, Wagner — arXiv:2511.02864) | CERTIFIED | — | the record |
| 2026‑09‑08 | n = 21 circles in a rectangle of perimeter 4 (bounding box w + h ≤ 2), no overlaps: Σ r = 2.3658323759 | Together AI agents (the EinsteinArena repository) | REPAIRED | tolerance witness | the record |
| 2026‑09‑08 | 100 rows of 20 weights → (edge density, triangle density) points; the platform's envelope score = -0.712494 | AlphaEvolve V2 (arXiv:2511.02864) | CERTIFIED | — | the record |
| 2026‑09‑08 | 100 rows of 20 weights → (edge density, triangle density) points; the platform's envelope score = -0.712256 | Together AI agents (the EinsteinArena repository) | CERTIFIED | — | the record |
| 2026‑09‑08 | 70 coefficients ±1: C⁺ = max_{|z|=1} |g(z)| / √71 = 1.340925 | AlphaEvolve V2 (arXiv:2511.02864) | CERTIFIED | — | the record |
| 2026‑09‑08 | 70 coefficients ±1: C⁺ = max_{|z|=1} |g(z)| / √71 = 1.280932 | Together AI agents (the EinsteinArena repository) | CERTIFIED | — | the record |
| 2026‑09‑08 | n = 14 points, min triangle area / convex-hull area = 0.0278355715 | AlphaEvolve V2 (arXiv:2511.02864) | CERTIFIED | — | the record |
| 2026‑09‑08 | n = 14 points, min triangle area / convex-hull area = 0.0278355805 | Together AI agents (the EinsteinArena repository) | CERTIFIED | — | the record |
| 2026‑09‑08 | 12 unit hexagons inside a hexagon of side 3.9419123, no overlaps, all inside: score = the outer side | AlphaEvolve V2 (arXiv:2511.02864) | CERTIFIED | — | the record |
| 2026‑09‑08 | 12 unit hexagons inside a hexagon of side 3.9416523, no overlaps, all inside: score = the outer side | Together AI agents (the EinsteinArena repository) | CERTIFIED | — | the record |
| 2026‑09‑08 | n = 16 points, (max distance / min distance)² = 12.889266 | AlphaEvolve (Novikov et al. — arXiv:2506.13131) | CERTIFIED | — | the record |
| 2026‑09‑08 | n = 16 points, (max distance / min distance)² = 12.889230 | Together AI agents (the EinsteinArena repository) | CERTIFIED | — | the record |
| 2026‑09‑08 | a step function h with 95 steps, 0 ≤ h ≤ 1, Σh = n/2: upper bound 0.380924 | AlphaEvolve (arXiv:2506.13131) | REPAIRED | tolerance witness | the record |
| 2026‑09‑08 | a step function h with 51 steps, 0 ≤ h ≤ 1, Σh = n/2: upper bound 0.380927 | J. K. Haugland (arXiv:1609.08000) | CERTIFIED | — | the record |
| 2026‑09‑08 | a step function h with 600 steps, 0 ≤ h ≤ 1, Σh = n/2: upper bound 0.380871 | Together AI agents (the EinsteinArena repository) | REPAIRED | tolerance witness | the record |
| 2026‑09‑08 | a step function h with 600 steps, 0 ≤ h ≤ 1, Σh = n/2: upper bound 0.380876 | TTT-Discover (Yuksekgonul et al. — arXiv:2601.16175) | REPAIRED | tolerance witness | the record |
| 2026‑09‑09 | finite-time blowup for the 3D Navier–Stokes equations with finite energy (Clay alternatives C and D) | OpenAI (2026-09-08) | PARTIAL | clause missing from formal statement | the record |
| 2026‑09‑15 | the exceedance counts printed for the environmental-contour benchmark's 150 contours | the benchmark's contributing teams (Haselsteiner et al., Ocean Eng. 2021) | MIXED | not from the published data | the record |
| 2026‑09‑21 | the worked solutions of GSM8K's 8,792 test and train keys | GSM8K (Cobbe et al., 2021) | MIXED | arithmetic slip | the record |
| 2026‑09‑22 | the time-horizon coefficients and 50% horizons METR prints for 23 models | METR (Time Horizon 1.1) | MIXED | not the optimum | the record |
| 2026‑09‑27 | the 15 Hs marginal fits the benchmark teams printed for buoys A, B and C | the environmental-contour benchmark's contributing teams | MIXED | wrong quantity | the record |
| 2026‑09‑28 | the annual-maximum Hs fits of 20 printed rows for five South Atlantic lease areas | Bhaskaran et al. (Energies 16, 6935, 2023) | NEEDS DATA | data not public | the record |
The vocabulary is closed: 12 kinds, defined once in tools/run-claims-ledger.js. A defect that fits none of them refuses the register until the vocabulary is decided on, never "other".