Back to home

Case study

How we proved it.

The hard part of benchmarking a reasoning engine is not running it. It is finding a test the competition could not have already memorized. Here is how we got to a clean, blind measurement.

01

We started with the hardest public math.

Our first measurements used the toughest public competition mathematics from 2024 and 2025. ALEXIS Fusion answered them at 100% accuracy. Several frontier models returned their answers faster than we did.

02

The frontier's speed was recall, not reasoning.

When we looked closely at those fast frontier answers, the speed did not come from solving. These problems already live in public training data, so a model can retrieve a memorized result instead of deriving one. Fast, but contaminated. On a public set, absolute score measures memorization as much as capability.

03

So we built tasks no model could have seen.

We authored five original, complex tasks from scratch, after the training cutoffs of every model under test. The set was frozen and fingerprinted with a SHA-256 hash before any run. No gold answer ever appeared in any prompt. There was no path to the answer except to actually work it out.

04

Then we ran everyone blind.

Every arm - ALEXIS Fusion and every frontier comparator - received the same inputs and was graded by the same automated extraction and the same equivalence rules. Runs were recorded to signed archives. Cost and latency are read back from those records, never estimated.

05

One arm solved all five, at the lowest cost.

Under the blind protocol, ALEXIS Fusion was the only arm to answer all five tasks correctly, and it did so at the lowest cost per correct answer of any arm in the field. When memorization is removed, the gap between recall and reasoning shows up in the numbers.

The blind result

Every arm, the same five frozen tasks, the same grader. Read the numbers straight from the archived run.

ArmAccuracyCorrectCostCost / correctMean latency
ALEXIS FusionOurs100%5/5$0.204$0.04170s
Qwen3.7 Max60%3/5$0.407$0.136556s
Grok 4.560%3/5$0.883$0.294255s
GPT-5.6 Sol60%3/5$1.043$0.348226s
GPT-5.560%3/5$1.094$0.36598s
Gemini 3.1 Pro60%3/5$1.486$0.495163s
Fugu Ultra60%3/5$1.913$0.638495s
Opus 4.860%3/5$2.154$0.718161s
Fable 560%3/5$2.492$0.83188s
DeepSeek V4 Pro40%2/5$0.093$0.046246s
Grok 4.340%2/5$0.280$0.140208s
GLM-5.240%2/5$0.297$0.148444s

n = 5frozen tasks. Rows marked ≥ are lower bounds: the arm hit the wall-clock cap on at least one task, so its true cost and latency are higher. Sorted by accuracy, then cost.

Sanitized evidence pack

Check our work.

Every arm, every task. Preview or download each model’s full per-task log, the five frozen tasks, the answer key, and the protocol. Frontier logs include the model’s own worked solution. The ALEXIS Fusion log shows the outcome only: no model names, no routing, no providers. That line is deliberate.

Benchmark tasks

The five frozen tasks and the answer key.

tasks.json

2.4 KB

The five original tasks (statements only), with the dataset fingerprint.

Download

answer-key.json

0.3 KB

Gold answer for each task.

Download

Model-by-model logs

Every arm, every task. Frontier logs include each model's own worked solution.

alexis-fusion.json

1.4 KB

ALEXIS Fusion - 5/5 correct. Answer, certification, and answer-ready latency. Engine internals withheld.

Download

gpt-5-6-sol.json

5.8 KB

GPT-5.6 Sol - 3/5 correct, 1 empty response. Single-agent, max reasoning. Full per-task output, tokens, cost, latency.

Download

fable-5.json

5.2 KB

Fable 5 - 3/5 correct. Full per-task output, tokens, cost, latency.

Download

grok-4-5.json

18.7 KB

Grok 4.5 - 3/5 correct. Full per-task output, tokens, cost, latency.

Download

gpt-5-5.json

3.3 KB

GPT-5.5 - 3/5 correct. Full per-task output, tokens, cost, latency.

Download

opus-4-8.json

148 KB

Opus 4.8 - 3/5 correct. Full per-task output, tokens, cost, latency.

Download

fugu-ultra.json

4.5 KB

Fugu Ultra - 3/5 correct, 2 timeouts. Full per-task output, tokens, cost, latency.

Download

deepseek-v4-pro.json

2.6 KB

DeepSeek V4 Pro - 2/5 correct. Full per-task output, tokens, cost, latency.

Download

qwen3-7-max.json

6.7 KB

Qwen3.7 Max - 3/5 correct, 2 timeouts. Full per-task output, tokens, cost, latency.

Download

glm-5-2.json

5.4 KB

GLM-5.2 - 2/5 correct, 1 timeout. Full per-task output, tokens, cost, latency.

Download

gemini-3-1-pro.json

11.9 KB

Gemini 3.1 Pro - 3/5 correct. Full per-task output, tokens, cost, latency.

Download

grok-4-3.json

9.9 KB

Grok 4.3 - 2/5 correct. Full per-task output, tokens, cost, latency.

Download

Method & results

Protocol, grading, results summary, and what we redact.

postcutoff-pilot-results.json

2.7 KB

Per-arm accuracy, cost, and latency for the frozen pilot set.

Download

methodology.md

1.8 KB

Why the private set exists and how the blind protocol runs.

Download

scoring.md

0.7 KB

The identical grader applied to every arm.

Download

redaction-note.md

0.8 KB

What is verifiable in this pack, and what is kept trade secret.

Download

The pilot is intentionally small and directional. It is arm-versus-arm evidence under a contamination-controlled protocol, not a public leaderboard. A larger held-out set is the next benchmark - and it will be measured the same way.

Let’s talk

Bring us your hardest workload.

Tell us what you are running today and where cost or accuracy hurts. We reply within one business day.

Prefer to start building? Create an API key.