How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Foundation models, transfer, and scaling evidence
1 · Prerequisites
- Absolute and Conditional Convergence; Rearrangement; Products
- Binary Operations, Monoids, Groups and Subgroups
- Conditional Distributions and Regular Conditional Probability
- Construction of the Natural Numbers
- Construction of the Real Numbers via Cauchy Sequences
- Construction of the Real Numbers via Dedekind Cuts
- Cosets, Index and Lagrange's Theorem
- Countability and Uncountability
- Distribution shift and domain adaptation
- Divisibility, Euclidean Domains, Principal Ideal Domains and Unique Factorisation
- Estimators and Randomized Procedures
- Finite Counting, Factorials and Binomial Coefficients
- Foundations of the Real Numbers for Analysis
- Ideals, Quotient Rings and the Isomorphism Theorems for Rings
- limsup, liminf, and Subsequential Limits
- Loss, Risk and Decision Theory
- Measurable Functions and Simple Approximation
- Measures and Their Basic Properties
- Monotone Sequences, Bolzano-Weierstrass, and Cauchy Completeness
- Normal Subgroups and Quotient Groups
- Order, Zorn's Lemma, and the Axiom of Choice
- Polynomial Rings, the Division Algorithm and Roots
- Prediction problems, risks, and empirical minimization
- Probability Spaces Random Variables and Expectation
- Product Measures and the Fubini Tonelli Theorems
- Relations, Functions, and Quotients
- Rings, Subrings, Integral Domains and Fields
- Roots, Rational Powers, and Classical Inequalities
- Sequences and Limits
- Series: Convergence and the Nonnegative Tests
- Sigma Algebras and Borel Sets
- Signed and Complex Measures Hahn and Jordan
- Simple Field Extensions and the Construction of the Complex Numbers
- Statistical Experiments, Models and Identifiability
- Suprema and Infima
- The Lebesgue Integral and the Convergence Theorems
- The Radon Nikodym Theorem and Lebesgue Decomposition
- The ZFC Axioms and the Basic Set Constructions
- Topological Spaces and Continuity
- Topology of ℝ
2 · Logical flowchart
3 · Definitions, theorems and proofs
Foundation models as broad-pretraining and adaptation systems
Definition
In the usage of the 2021 Bommasani et al. report, a foundation model is a model trained on broad data, generally using self-supervision at scale, that can be adapted to a wide range of downstream tasks. Here a downstream task is a use of the trained model for a task after pretraining; adaptation is a procedure that supplies task information by conditioning the model on new input or by changing some or all of its parameters. A self-supervised objective obtains its training target from the input data or its structure rather than from a separate human label for every training example. “Broad” data, “at scale,” and a “wide range” of tasks are qualitative descriptors in this definition; it imposes no numerical data-size or parameter-count threshold and guarantees no task performance.
The report’s term is not restricted to language models or to a particular architecture. It includes models for language, vision, robotics, and multimodal inputs; a multimodal model uses more than one data modality, such as text and images. A prompt is task instructions or demonstrations added to a model’s input. In-context learning conditions on such a prompt and a test input while keeping the pretrained parameters fixed. Parameter-based adaptation instead optimizes some or all parameters using task information. These are distinct adaptation routes.
The report frames foundation models as one component in a larger ecosystem that runs from human data creation and data curation through training and adaptation to deployment and monitoring. Shared models can create a single point of failure: defects, vulnerabilities, or sensitive information learned during pretraining may affect multiple adapted applications. These are risks to assess in a particular system, not inevitable outcomes.
For labeled source and target environments, let and be measurable input and label spaces, and let and be joint probability laws on . Their input marginals are for . A supplied conditional label kernel is a probability kernel from the input space to the label space such that, for every nonnegative product-measurable , . Supplying is part of the description; no existence is asserted. Covariate shift is the stronger condition that outside a set of -measure zero and . Foundation-model status imposes no relation of this kind between pretraining and downstream task distributions.
The report’s 2021 theory discussion asks under what conditions a small population pretraining loss implies a small minimal adaptation loss. It identifies this pretraining-adaptation interface as a theory gap involving the pretraining and task distributions, objectives, training methods, and model architecture. The definition makes no general transfer, capability-emergence, or reliability claim from a pretraining loss.
The diagram separates the pretraining stage from two adaptation routes. Its arrows denote data flow only: the prompting route holds the pretrained parameters fixed, while the optimization route changes an allowed parameter set. Neither route in the diagram asserts a performance guarantee.
diagram failed to render:
\begin{tikzpicture}[>=stealth,scale=0.72,transform shape,every node/.style={draw,rounded corners,align=center,text width=2.5cm,font=\scriptsize,minimum height=0.8cm}]
\node (data) at (0,0) {Broad data and curation};
\node (pre) at (3,0) {Pretraining objective};
\node (fm) at (6,0) {Pretrained model $\theta_{\rm FM}$};
\node (prompt) at (9,-1.2) {Prompt conditioning; $\theta_{\rm FM}$ fixed};
\node (opt) at (9,1.2) {Task-loss optimization over $\gamma\in\Gamma$};
\node (out) at (12,0) {Downstream model or system};
\draw[->] (data) -- (pre);
\draw[->] (pre) -- (fm);
\draw[->] (fm) -- (prompt);
\draw[->] (fm) -- (opt);
\draw[->] (prompt) -- (out);
\draw[->] (opt) -- (out);
\end{tikzpicture}Definition references
Source and target joint laws, risks, and covariate shift: supplies the source/target joint-law convention, input marginals, and the exact additional hypotheses for covariate shift; this definition repeats the relevant content and does not assert conditional-kernel existence.
Bommasani et al., On the Opportunities and Risks of Foundation Models, abstract and §§1.1–1.2, 4.3, 4.7.1, 4.10.1–4.10.3: report definition, ecosystem, adaptation modes, risk framing, and the dated pretraining-adaptation theory gap.
Stanford CS324, Large Language Models, “Adaptation” lecture notes: task adaptation, prompting, probing, fine-tuning, and lightweight fine-tuning distinctions.
4 · Examples, counterexamples and false statements
None yet.