LOGICAL ARBITRAGE

125 billion parameters. One NVIDIA card.

The model is two and a half times bigger than the card it has to run on.

We cut it to fit.

We stored the weights in four bits, then removed the eight thousand experts our games never used.

Ten agents became thirty-two.

The room we freed went to agent memory. The same card ran thirty-two agents instead of ten, with a copy of each one's history kept in system memory.

Near the limit of the silicon.

Each step reads weights at 92 percent of the card's memory bandwidth, so further gains came from reading fewer bytes and serving more agents per read, with kernels we wrote for this chip. Whole-run throughput rose about seven times from our first server, and 3.6 times from the public notebook we started with.

Fifth on the public leaderboard.

4,923 teams had the same NVIDIA card and nine hours. We climbed from 217th to fifth in four weeks, two places behind NVARC3, a team that includes NVIDIA Kaggle Grandmasters.

We train it on one card too.

Keith Tyser built a trainer that teaches this model from a single game 131,072 tokens long, without leaving the card.

Two engineers. One month.

Logical Arbitrage is Son Pham and Keith Tyser. We study how much capability can be drawn from fixed hardware, and how models can improve the agents they run. We want to build on NVIDIA's stack and learn from the people who make it.

THE RESEARCH ↓

THE RESEARCH

Two research programmes.

In ARC-3 we engineer agents, and the systems that run them, under a fixed hardware budget. In the Autoresearch Arena, language models write the agents and a leaderboard decides which survive. Each programme below says what it is, why it matters, what has been demonstrated and where to inspect it.

01ARC-3

Agents that learn unfamiliar rules, on a fixed machine.

WHAT IT IS
ARC-AGI-3 is the ARC Prize 2026 benchmark for interactive reasoning. An agent is placed in a game it has never seen, with no instructions, and is scored on how few actions it needs compared with people. Every team ran on the same machine: one NVIDIA RTX PRO 6000, nine hours, 110 hidden games, no internet.
WHY IT MATTERS
It measures how quickly an agent works out the rules of something new, not what it has memorised. Because the hardware is fixed, inference efficiency is part of the result: every token the card does not waste is another move an agent can think through.
WHAT WE DID
We built an agent harness in which the model's only tool is a Python sandbox, with notes that survive context trimming and checked play. We built the serving system that cut the model to fit the card and ran thirty-two agents on it at once. Keith Tyser built a trainer that works inside the same single card. The harness builds on Tufa Labs' public harness and Daniel Franzen's public Milestone 2 notebook.
DEMONSTRATED
5th of 4,923teams on the public leaderboard, score 56.02
605 → 2,150tokens per second over a whole run on one card, from the public notebook we started with to our final build
10 → 32agents running at once on that card
3 of 12changes that improved in our local tests also improved on the public leaderboard

WHAT DID NOT HOLD UP Of twelve changes that improved in our local tests, only three also improved on the public leaderboard, and both reinforcement-learning adapters we submitted scored lower than the package they were added to. The evidence notes list all fourteen comparisons.

WHERE TO INSPECT

02AUTORESEARCH ARENA

Models that write the agents: a testbed for recursive self-improvement.

WHAT IT IS
A model reads the current leading agents, writes a new one as code, tests it against the best, and submits it to a leaderboard. The next round starts from what the last one found. Agents compete head to head in games, or on a benchmark where the task has an exact score. Every agent's source code, and the model's own working log, are public.
WHY IT MATTERS
Recursive self-improvement is hard to study because it is hard to measure. The arena makes one loop small enough to observe: each cycle is recorded, every result is scored by the same fixed rules, and the code that produced it can be read. It supports a plain question: do improvements compound, and where do they stop?
WHAT WE BUILT
For each task: a task definition and an instruction file (program.md) that tells the model how to improve, hand-written seed agents as the baseline, a sandbox that runs the code the model submits, and a scoring rule. Games use ratings from head-to-head matches; algorithm and mathematics tasks use exact benchmark scores. A heartbeat log records each cycle, and anyone can play the agents in the browser.
DEMONSTRATED
36,000evolution cycles across 19 tasks, March to October 2026
1.46 millionmatches and benchmark runs scored
4,716agents listed in the archive, up to 500 per task, mostly written by Claude Haiku 4.5
20 tasksboard games, algorithms, mathematics and chip design

WHAT IT HAS NOT SHOWN YET The loop improves agents; it does not yet improve itself. The instruction file that steers each loop (program.md) was versioned but revised on only one task, and on sorting the built-in baseline still tops the ratings. These are the next results to earn.

PUBLIC SOLUTIONS · THE LEADING AGENT ON EACH TASK, WITH ITS SOURCE CODE

TASKCYCLESLEADING AGENT · READ ITS CODEWRITTEN BYRAW JSON
BOARD GAMES · AGENTS PLAY EACH OTHER · browse in the arena →
Snake4,147gen621_hybrid_dominatorClaude Haiku 4.5code · log
Snake, random start5,156gen821_wall_predatorClaude Haiku 4.5code · log
Snake Royale4,379gen828_territory_hijackerClaude Haiku 4.5code · log
Snake 2v24,627gen902_evasion_farmerClaude Haiku 4.5code · log
Chess9605,424gen1967_tactical_viperClaude Haiku 4.5code · log
Othello4,964gen1608_parity_edge_blitzClaude Haiku 4.5code · log
Connect Four2,980gen657_fortress_breakerClaude Haiku 4.5code · log
Hex492gen387_forcing_threat_builderClaude Haiku 4.5code · log
Go, 9 by 93,411gen1065_master_strategistGemini 3.1 Procode · log
ALGORITHMS · SCORED ON BENCHMARKS · browse in the arena →
Sorting faster than the built-in25gen3_radix_numpy_hybridClaude Haiku 4.5code · log
Travelling salesman23gen1_multistart_oropClaude Haiku 4.5code · log
Cache eviction21gen4_simple_lruGemini 3.1 Flash-Litecode · log
MATHEMATICS · SCORED AGAINST EXACT TARGETS · browse in the arena →
Circle packing271gen213_conflict_cascadeClaude Haiku 4.5code · log
Golomb rulers137gen109_optimal_lookup_fastGemini 3.1 Flash-Litecode · log
Thomson problem104gen87_manifold_linesearchClaude Haiku 4.5code · log
Minimax polynomial approximation20gen8_remez_optimizerClaude Haiku 4.5code · log
Error-correcting codes17gen4_fast_lex_greedyGemini 3.1 Flash-Litecode · log
Optimal quadrature14no model-written agent kept in the archive
Low-discrepancy sequences11gen11_sobol_owenClaude Haiku 4.5code · log
CHIP DESIGN · OPEN CHALLENGE
Pipelined MIPS processor—Agents rewrite the processor's Verilog and are scored on cell count, wiring and speed. No results yet. See the task

Each agent's name opens a readable page with its source code, copied as the arena stores it. The raw links return the same code and the model's own working log as JSON from the arena's open API. The leader is the highest-rated agent a model wrote, or, on benchmark tasks, the first on the task's own board.

WHERE TO INSPECT

THE PEOPLE

SON PHAM

Founder. Leads the ARC-3 agent harness and inference engineering, and built the Autoresearch Arena. Silver medal, Orbit Wars.

KEITH TYSER

Training and compression. Built the single-card trainer and the cut-down models. Solo gold medal, fourteenth of 6,125.

ADVISOR Jack Cole

Logical Arbitrage LLC · logarb.com · How this page is built · llms.txt · Keys 1 to 8 jump between sections