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 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.
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.
Depends on
Used by
Dependency tree · two levels
8 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Rishi 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 (standard reference, not scraped)
- Stanford CS324, Large Language Models, Adaptation lecture notes (standard reference, not scraped)