Benchmark structure

Understand the study.
Inspect the evidence.

Move between the benchmark methodology, evaluated configurations and exercise-level research records.

21 configurations60 exercises1,260 matched cells2 subjects
Scientific benchmark paper

Beyond correctness in university problem solving

Beyond Correctness: A Controlled Benchmark of AI Models on Advanced University Mathematics and Physics

Correctness, completeness, cross-domain robustness and resource demand across a controlled closed-resource benchmark.

Why does the paper cover 14 configurations?

Frozen publication snapshot. The August working paper documents the original 14-configuration panel and remains unchanged. The live exercise-by-exercise benchmark now has 21 configurations: Mistral Medium 3.5 and Mistral Small 4 were added on 14 September 2026, DeepSeek V4.1 Flash on 16 September 2026, and GPT-6.1 Sol, GPT-6 Luna, Claude Opus 5.5, and Claude Sonnet 5.5 on 15 October 2026. The current site tables and Atlas are authoritative for the expanded panel.

Abstract

Paper abstract

A concise account of the research question, protocol and principal findings.

Open-ended university problems expose whether a model can construct and verify a solution rather than merely recognize an answer. The objective is to compare solution correctness and completeness together with the resources required to obtain them. A controlled, closed-resource benchmark evaluates 14 model-mode configurations on 60 authentic examination problems in Mathematical Analysis III and General Physics II. Sixty item-specific rubrics contain 1,600 atomic criteria; answers are assessed anonymously in single-response contexts, centrally validated, and every case of substantive doubt is escalated to versioned human adjudication.

The six leading configurations occupy a narrow 96.71-98.72% band, and paired bootstrap intervals do not separate the first system from its two nearest competitors. In a same-weights DeepSeek V4 Flash contrast, high reasoning adds 10.93 percentage points (95% CI 7.97-14.10), while increasing token use by 214.7%, cost by 224.4%, and median latency 5.13-fold. Across the normalized matched panel, model-level analytical-token volume, estimated API cost, and median latency vary by factors of 6.91, 234.61, and 12.46. These results show that, once correctness approaches saturation, resource demand, robustness across domains, and quality-resource frontiers become central outcomes.

Resource accountingThe normalized 840-cell panel represents 8,915,801 analytical tokens and an estimated $84.21. Before within-cell averaging, the 924 retained responses total 10,054,390 tokens and an estimated $105.10. These are analytical estimates, not the complete provider bill.
977

Repository run records

924

Retained responses

840

Matched cells

60

Authentic items

Document details

Working paper

Author
Francesco Bortot
Paper date
14 August 2026
Type
Scientific working paper
Release
UniAIBench v1.0

Versioning

Release record

Release
UniAIBench v1.0
Benchmark snapshot
15 October 2026
Paper
Working paper · 14 August 2026
Site last updated
15 October 2026

Evidence trail

How an exercise becomes a published result.

Five traceable stages connect the original problem to the aggregate comparison. Each stage preserves the evidence needed to inspect the next one.

  1. 01

    Exercise

    All 21 configurations receive the same closed-resource university problem.

    Inspect exercises →
  2. 02

    Response

    Each model answers independently under a recorded API configuration and reasoning mode.

    Review configurations →
  3. 03

    Evaluation

    The anonymous answer is assessed against an approved rubric frozen before responses are seen.

    Open rubrics →
  4. 04

    Validation

    Substantive uncertainty is escalated to versioned human review before model identities are revealed.

    Read judgments →
  5. 05

    Result

    Validated item scores and resource measurements form subject and overall comparisons.

    Explore results →

Essential questions

What should I know before reading the results?

What exactly is compared?

21 model-mode configurations are evaluated on the same 60 exercises: 33 from Mathematical Analysis III and 27 from General Physics II. Every exercise contributes equally to subject and overall accuracy.

Why can the model results be compared directly?

The published analysis uses a matched panel: every included configuration completed the same exercise set. Differences in test coverage therefore do not affect the comparison.

How is correctness awarded?

Each exercise has an approved rubric containing weighted atomic criteria across T1–T8. The judgment records full or partial credit, zero-credit conditions, acceptable alternatives and propagated-error rules.

Do evaluators know which model produced an answer?

No. Responses are assigned anonymous identifiers and evaluated before unblinding. Model identities are attached only after judgments have passed central validation.

What happens when a judgment or official solution is uncertain?

The case is escalated to human review. Decisions are recorded in versioned artifacts, and affected responses are reassessed blindly when a reference or rubric change requires it.

Where can I inspect the underlying evidence?

Atlas exposes Analysis III and Physics II exercises, rubrics, responses, judgments and item measurements. Models documents the evaluated configurations, while Explore shows aggregate rankings and trade-offs.

How is the interactive composite score calculated?

The composite ranking is a decision tool rather than a judgment score. Accuracy, latency, cost and tokens are normalized and combined using the priorities selected in Explore, where the complete calculation is explained beside the controls.