Source-bounded research map · evidence through 2026-06-14

Synthetic Intelligence Atlas

A source-bounded map of large language models, agents, evaluation, and forecasting limits. Each public claim carries sources, a status, and limitations. This first edition privileges what can be checked over what sounds current.

First edition · 22 source-bounded claims

Public claims

22

Verified sources

33

Orientation concepts

18

How to read this Atlas

Established result

A published result, defined construction, or documented methodology that the relevant literature treats as settled. It says what was shown, not that any broader capability claim follows.

Active research

A genuinely open or contested question. Competent researchers disagree on technical grounds and no side has closed it.

Forecast scenarios and a local audit exhibit are deliberately withheld from this first public edition. URL-only records, benchmark leaderboards, specific price trajectories, and quantum computing are outside its public evidence set.

Claim ledger · 22

claims.json ↗
si-001Established result

The transformer architecture replaces recurrence and convolution with attention as the primary sequence-modelling mechanism.

This is an architectural fact stated by the originating paper and universally adopted since.

Limits of this claim

Architecture alone determines no capability. Nothing about attention implies any particular task competence.

Read claim record →
si-002Established result

Sufficiently large autoregressive language models perform tasks from instructions and examples supplied in context, without gradient updates.

In-context few-shot behaviour was the central reported finding of the GPT-3 paper and is reproduced widely.

Limits of this claim

Reported on the task distributions studied. It is not a claim that in-context learning generalizes to arbitrary tasks, and it says nothing about reliability.

Read claim record →
si-003Established result

Language-model loss follows empirical power-law relationships with training compute, parameter count, and dataset size over the studied ranges.

The originating scaling-law work fitted these relations across several orders of magnitude.

Limits of this claim

These are relations on loss within a studied range, not on task capability, and not guaranteed to hold outside it. Treating a loss extrapolation as a capability forecast is not supported by the source.

Read claim record →
si-004Active research

The compute-optimal allocation between parameters and training tokens has been revised in the literature, and deployed practice diverges from compute-optimal training.

The Chinchilla work revised the earlier parameter-heavy allocation toward a more balanced ratio, and large deployed models are trained well past compute-optimal token counts to reduce inference cost.

Limits of this claim

The direction of the revision is sourced; the specific exponents and ratios are not restated here, and no claim is made about what any particular current model used.

Read claim record →
si-005Established result

Fine-tuning with human feedback substantially changes how closely a model follows instructions relative to its pre-trained base.

The InstructGPT work established this as a distinct post-training stage rather than a property of pre-training.

Limits of this claim

Instruction-following is not correctness, safety, or capability. Improvements on preference judgements do not transfer automatically to task accuracy.

Read claim record →
si-006Established result

Prompting a model to produce intermediate reasoning steps changes its measured performance on multi-step problems.

Chain-of-thought prompting demonstrated that the inference procedure, not only the weights, determines measured performance.

Limits of this claim

A produced reasoning trace is not evidence of the process that generated the answer. The source measures outputs, not internal reasoning.

Read claim record →
si-007Active research

Allocating additional computation at inference time can, in studied settings, improve results more than spending the equivalent compute on additional parameters.

This trade-off is the basis of reasoning-style systems and is reported with verifier-based and search-based methods.

Limits of this claim

Demonstrated within specific task families and compute budgets. It is not established as a general substitution, and the studied regimes do not license extrapolation.

Read claim record →
si-008Established result

Retrieval-augmented generation conditions outputs on documents retrieved at inference time rather than on parametric memory alone.

The originating formulation combined a retriever with a generator for knowledge-intensive tasks.

Limits of this claim

Retrieval changes the source of knowledge, not the reliability of reasoning over it. It does not eliminate fabrication.

Read claim record →
si-009Established result

Language models can be trained or prompted to invoke external tools and incorporate returned results.

Both learned tool invocation and interleaved reason-act prompting are documented mechanisms.

Limits of this claim

Tool access is a property of the deployed system, not the model. Comparisons that vary tool access are not model comparisons.

Read claim record →
si-010Established result

The design of the agent-computer interface materially changes measured coding-agent performance holding the underlying model fixed.

This is the explicit finding of the SWE-agent work: interface affordances, not only model quality, determine outcomes on repository tasks.

Limits of this claim

It follows that an agentic benchmark score measures a model-plus-scaffold system. Attributing such a score to the model alone is unsupported, and this map never does so.

Read claim record →
si-011Established result

SWE-bench measures whether a system produces a patch that passes a repository’s existing test suite for a real issue.

That is the benchmark definition given by its authors.

Limits of this claim

Passing tests is not correct engineering. The benchmark does not measure design quality, maintainability, review, or deployment safety, and its authors do not claim it does.

Read claim record →
si-012Established result

MMLU and GPQA are multiple-choice benchmarks over defined subject distributions, with human baselines reported by their authors.

Both are defined by their originating papers, and GPQA reports expert baselines with and without web access.

Limits of this claim

Multiple-choice accuracy over a fixed distribution is not general knowledge or reasoning. Specific baseline percentages are deliberately not restated here; consult the sources.

Read claim record →
si-013Established result

Benchmarks are revised by their owners in response to saturation and robustness problems, producing successor versions that are not directly comparable to the originals.

MMLU-Pro was introduced as a more robust successor to MMLU for precisely these reasons.

Limits of this claim

A score change across a benchmark revision is a measurement change, not necessarily a capability change. Trends must not be spliced across versions.

Read claim record →
si-014Active research

Contamination of evaluation data into training corpora is a measured problem that must be assessed per benchmark rather than assumed absent.

Multiple studies investigate contamination across widely used benchmarks and argue for per-benchmark measurement.

Limits of this claim

The extent of contamination for any specific model is generally not knowable from outside, because training corpora are not disclosed.

Read claim record →
si-015Active research

The use of general-purpose benchmarks as measures of general capability is contested in the literature on construct-validity grounds.

This critique argues that benchmarks index performance on a constructed task distribution and cannot underwrite claims about general ability, and that generalization must be measured differently from skill.

Limits of this claim

This is a methodological argument, not a demonstration that any specific score is wrong. Both critics and benchmark authors are represented in the source set.

Read claim record →
si-016Established result

Multi-metric evaluation across scenarios has been proposed and implemented as an alternative to single headline scores.

Holistic evaluation frameworks measure many metrics across many scenarios rather than reporting one number.

Limits of this claim

Reporting more metrics does not resolve construct validity. It makes the trade-offs visible; it does not make any single metric mean more.

Read claim record →
si-017Active research

The behaviour of a served model accessed through an API can change over time on fixed prompts.

Longitudinal measurement of a hosted service found behaviour changes across dates on identical inputs.

Limits of this claim

A measurement of a hosted endpoint is dated. Reproducibility claims about API-based evaluations require the date and, where available, the model version.

Read claim record →
si-018Established result

METR defines a 50%-task-completion time horizon: the time humans typically take on tasks a model completes with 50% success. Its published measurement reports a horizon of around 50 minutes for one frontier model of that period, and a doubling of the horizon roughly every seven months since 2019, with a possible acceleration in 2024.

These figures are taken from the abstract of the METR paper, read during this pass. They are the only time-horizon numbers in this map, and they replace the draft report’s unverifiable figures.

Limits of this claim

The authors state limitations including external validity, and their five-year statement is explicitly conditional on the trend generalizing. The measurement is over a specific task suite, not real-world software work. Figures later than this paper are not carried here: the draft report’s "~2 hours as of late 2025" was not independently verified during this pass and is excluded.

Read claim record →
si-019Active research

Increases in measured long-horizon performance are attributed in part to improved reliability and error recovery rather than to reasoning improvements alone.

The METR paper attributes the horizon increase primarily to greater reliability and ability to adapt to mistakes, combined with logical reasoning and tool use.

Limits of this claim

This is an attribution offered by one research group over one task suite. The decomposition between reliability, reasoning, and scaffolding is not independently established.

Read claim record →
si-020Established result

Provider technical reports and model cards are self-reports by the organization that built the system, and may withhold architecture, data, and training details.

The GPT-4 technical report states that it withholds such details; model cards are a reporting convention, not an audit mechanism.

Limits of this claim

Self-report status is not an accusation of inaccuracy. It means the figures were not produced by an independent party and cannot be treated as independent measurements.

Read claim record →
si-021Active research

Aggregated expert forecasts of AI capability timelines have shifted substantially between survey rounds.

Large surveys of published AI researchers record materially different aggregate timelines across successive rounds.

Limits of this claim

Instability in aggregate forecasts is evidence about forecasters, not about capability. Specific dates and shift magnitudes are not restated here; consult the source.

Read claim record →
si-023Established result

A benchmark score is a measurement of a system on a task distribution under a scaffolding configuration at a date. It is not a measurement of general capability.

This follows from the benchmark definitions, the scaffolding result, the contamination literature, and the drift measurement taken together. It is the organizing rule of this map.

Limits of this claim

This is a methodological position, not a finding that any score is incorrect. It constrains interpretation, not measurement.

Read claim record →

Concept library

All concepts →

Large language models

Neural networks trained on large text corpora to predict tokens, then adapted to follow instructions and produce text or actions.

Concept record →

Transformers

A sequence architecture built on attention rather than recurrence or convolution.

Concept record →

Scaling laws

Empirical relations between training compute, parameters, data, and loss.

Concept record →

Pre-training

The large-scale self-supervised phase in which a model learns from an unlabelled corpus.

Concept record →

Source library

All sources →
primary paperContent verified

Attention Is All You Need

Vaswani et al. · 2017

The architecture paper underlying the transformer models this atlas is about.

Source record →
primary paperContent verified

Language Models are Few-Shot Learners

Brown et al. · 2020

Introduced in-context few-shot learning as an emergent property of scale.

Source record →
primary paperContent verified

Scaling Laws for Neural Language Models

Kaplan et al. · 2020

The original power-law scaling result, and one side of the compute-allocation disagreement.

Source record →
primary paperContent verified

Training Compute-Optimal Large Language Models

Hoffmann et al. · 2022

The Chinchilla revision of compute-optimal allocation, and the other side of that disagreement.

Source record →