Tractatus

Figuring out what intelligence actually requires. Not by scaling LLMs. Somewhere between biology and brute-force engineering. ARC-AGI-3 is the test I measure against; below is what the loop has done so far, with receipts.

Tractatus says only what is the case, and shows the receipt.

ARC-AGI-3

The hardest test of fresh-environment reasoning. Every frontier LLM scored under 1% on it at launch. Only GPT-6 Astra saturates it, at $18,817 a run.

Inside my harness the same Astra clears ar25 8/8 cold at 7,704 output tokens. Before the slicing, inside my general loop, it needed 35,842. The harness does the thinking; the model only picks from what the harness offers, and every decision leaves a receipt. An open 285B model in the same seat has now cleared three full games cold, every forecast replayed. The player contains no game-specific content.

Next: the remaining public games on one frozen version, then the five reserved games, then the hidden set on Kaggle with the open model offline on one GPU.

Watch it play

Qwen3.8-Flash picking, cold from RESET, version 0916ai. The frames are the run's own observation log, not a replay. The counter shows how many picks the model had made.

ar25 cleared 8/8 by the loop with Qwen3.8-Flash picking
ar25 · 8/8 · 562 actions · 69 picks · 258/258 forecasts verified
cd82 cleared 6/6 by the loop with Qwen3.8-Flash picking
cd82 · 6/6 · 288 actions · 43 picks · 66/66 forecasts verified
Receipts

Same loop, different seats. Output tokens are the model's, reasoning included. Every observation and forecast in the Tractatus rows was replayed and verified.

RunResultCallsOutput tokensNote
GPT-6 Astra, ARC Prize's verified run, their harness99.9% semi-private$18,817 for 55 games
GPT-6 Astra inside my loop, unslicedar25 8/835,842all 25 public games played: 22 complete, tu93, vc33 and wa30 stopped by me mid-run; no game-specific content
GPT-6 Astra inside Tractatus, picks onlyar25 8/8 cold937,704604 observations and 257 forecasts replayed
Open 285B model (Qwen3.8-Flash) inside Tractatus, picks onlyar25 8/8 cold6928,399562 actions, 258/258 forecasts replayed, version 0916ai
Open 285B model inside Tractatus, picks onlycd82 6/6 cold4326,249288 actions, 66/66 forecasts replayed, same version
Open 285B model inside Tractatus, picks onlytr87 6/6 cold4317,439237 actions, 148/148 forecasts replayed, same version

Public-set results are development receipts, not ARC Prize verification. The hidden set is the test, on Kaggle, with the open model offline.

Per game

GPT-6 Astra inside the general loop before slicing: one chain per game, no game-specific content, all 25 public games. Levels are where each chain ended. Five games are reserved: the sliced loop, Tractatus, has never been run or repaired on them, so they are the test at the freeze. ▶ watch is the open model's own cold clear of a game, frames from the run.

GameLevelsStatus
ar25 ▶ watch8/8complete
cd82 ▶ watch6/6complete
tr87 ▶ watch6/6complete
bp359/9complete
su159/9complete
sk488/8complete
lp858/8complete
sb268/8complete
s5i58/8complete
re868/8complete
ka597/7complete
g50t7/7complete
ls207/7complete
tn367/7complete
sc256/6complete
cn046/6complete
m0r06/6complete
dc226/6complete
lf5210/10complete · reserved
r11l6/6complete · reserved
ft096/6complete · reserved
sp806/6complete · reserved
tu936/9stopped by me
vc336/7stopped by me · reserved
wa304/9stopped by me

25 of 25 played, 22 complete, 174 of 183 levels. The three unfinished chains were stopped by me once I had the maps I needed, not by a failed level. Only ar25 has a clean token count; the other chains include the map-writing Astra did while it played.

← back to tomek