← Observatory › The Record › FR-AI-0004
PROG-AI
FR-AI-0004

Scaling Laws — Emergent Performance on Unseen Tasks

Scaling language model training increases performance on previously unseen tasks without task-specific optimisation.

FragmentingVS-03·Assessed 2026-09-02

Different aspects of the evidence point in different directions or support competing explanations. State definitions

Where the record stands

Assessed 2026-09-02
Current assessmentFragmenting
Evidence since assessment

No evidence has been admitted since this assessment.

Questions on recordView 4 retained questions →

Retained questions may have been narrowed or reframed by the current assessment.

Assessment history
FragmentingPressure State unchanged · latest assessment 2026-09-02
Verification Matrix

Verification position derived from the record’s assessments; dates show when Faultline first recorded each stage.

VS-01
Assertion
—
VS-02
Published evidence
—
VS-03
Audit
Current from 2024-01-15 — present
VS-04
Replication
—
VS-05
Operation
—
Stage first recorded Current verification position Not yet recorded
State Warrant
Current stateFragmentingVS-03
Current assessmentLPR-001-D04 corrects the source interpretation underlying parts of AS-001 and AS-002 without rewriting those historical assessments. The task-level core remains supported, principally by GPT-3 few-shot evaluations (IN-002) and the documented emergence literature (IN-003), but the evidence is narrower than AS-001 stated: Kaplan et al. (IN-001) establish predictable scaling of held-out language-model loss rather than unseen-task performance; Chinchilla (IN-006) establishes compute-optimal training and broad downstream gains rather than independently proving task novelty; and the contamination evidence (IN-005) establishes a serious measurement risk without showing that the record's cited benchmark gains were themselves contamination-driven. Schaeffer et al. (IN-004) narrow the emergence dispute to metric-dependent apparent discontinuities in particular evaluated settings, not a universal proof that scaling is continuous. Test-time compute (IN-007) is now anchored to primary evidence from Snell et al.; it is a genuine scaling mechanism but operates at inference time and therefore sits partly outside the claim's explicit training-scaling scope. The corrected evidence still does not converge on a clean account of what counts as a previously unseen task, how much benchmark evidence is contamination-free, or whether inference scaling belongs inside this claim. FRAGMENTING / VS-03 is therefore retained, with lower confidence in the stronger historical formulations but no basis for a state or stage change.
Assessment contextGoverned assessment correction following LPR-001-D04. AS-001 and AS-002 are preserved append-only as historical judgements; AS-003 supersedes only the source-fidelity claims identified by the provenance review. No new evidence instance was admitted through LPR-001.

LPR identifies an internal source-review record. PROG identifies a programme: AI (Artificial Intelligence), AM (Advanced Materials), BT (Biotechnology), or QE (Quantum Engineering).

State entered2024-01-15
Latest assessment2026-09-02
Mechanisms and barriers

How the claim could hold, what obstructs it, and possible ways forward. The State Warrant above remains the authoritative current assessment.

Resistance MechanismRM-001

Training data contamination. For closed models, training data content is not fully disclosed. When a model performs well on a benchmark, the possibility that benchmark instances appeared in training data cannot be fully excluded. This mechanism creates a structural limitation on the evidential value of benchmark performance gains: positive results are always partially contestable on contamination grounds. The mechanism is more severe for the claim tracked here than for most, because the claim specifically asserts performance on previously unseen tasks — contamination directly challenges whether any given positive result satisfies the "previously unseen" criterion. The contamination resistance mechanism is not eliminable for closed models; it can only be reduced by purpose-built anti-contamination evaluation designs.

Resistance MechanismRM-002

Metric-dependence of apparent emergence. As documented by Schaeffer et al. (INST-004), apparent discontinuities in scaling curves are sensitive to metric choice. What appears as an emergent ability under one evaluation metric may appear as a smooth continuous improvement under another. This creates a resistance mechanism specific to the claim's language: "increases performance" can be measured in multiple ways, and the picture of what scaling achieves differs depending on measurement choice. The mechanism does not deny that scaling helps; it complicates how and when improvement is observed, which is a genuine interior difficulty for the claim's evidential base.

BottleneckBN-001

No agreed definition of "previously unseen." The claim requires that performance improvements occur on tasks the model has not been specifically trained on. But "previously unseen" is ambiguous across several dimensions: whether a task type appeared in training data, whether specific instances appeared, whether structural analogues appeared, and whether the model's in-context learning constitutes encountering the task during inference rather than training. Without an agreed operational definition, positive and contesting evidence cannot be cleanly compared. This is a bottleneck because it cannot be resolved by more experiments — it requires definitional agreement that currently does not exist. This bottleneck sits at the interior of the record, in measurement methodology, not at the claim identity or closure boundary.

AttractorAT-001

A recorded possible resolution path, not automatically a sufficient test for closing the claim.

Auditable training data and task-novelty evaluation. The contamination resistance mechanism (RM-001) can be reduced where the exact model version, processed training corpus and relevant evaluation overlap can be inspected. Open weights alone do not provide that access, and broad descriptions of data sources are not the same as an auditable corpus. Models should qualify for this route through their specific data disclosures rather than family labels such as LLaMA or Mistral. Even corpus access does not by itself settle BN-001: absence of a benchmark item is different from absence of its task type or structural analogues, and an agreed operational definition of previously unseen remains necessary. The attractor is reproducible contamination analysis combined with explicit task-novelty criteria, not automatic confirmation from model openness.

Assessment History
2024-01-15
AS-001 · Initial assessment — Fragmenting
The claim is supported in its core assertion: scaling language model training does increase performance on previously unseen tasks without task-specific optimisation. This is documented across multiple model families, task types, and evaluation methodologies. The few-shot performance documented in INST-002, the smooth scaling curves in INST-001 and INST-006, and the emergent task capabilities in INST-003 all constitute positive evidence for the claim as stated. The evidence trail is nonetheless complicated by two interior disputes that do not threaten the claim's truth but substantially complicate its mechanism: whether apparent emergent abilities (INST-003) are genuine discontinuities or artefacts of metric choice (INST-004), and whether benchmark performance gains reflect genuine generalisation or training-data contamination (INST-005). The pressure state is FRAGMENTING: the claim's core assertion holds, but the evidence quality disputes over how and why it holds have not converged, and no agreed definition of 'previously unseen' yet exists to resolve them (BN-001).
AS-001 stage: VS-03 after ratified review (stored code VS-03 preserved).
2026-06-29
AS-002 · Assessment updated; Pressure State and Verification Stage unchanged — Fragmenting
The claim's core assertion remains supported, and the pressure state remains FRAGMENTING — IN-007 adds to the fragmentation rather than resolving it. Test-time compute and reasoning-model architectures (o1/o3, DeepSeek-R1) demonstrate that scaling inference-time computation, not only training-time parameters and data, improves performance on previously unseen reasoning tasks. This is a genuinely new mechanism for the claim's core phenomenon, not merely a third data point alongside Kaplan et al. and Chinchilla: the original claim statement ("scaling language model training") describes training-time scaling specifically, and IN-007's mechanism operates at inference time. By early 2026, field commentary describes a broader shift in where capability gains are expected to come from — inference and tooling rather than raw training-scale increases — which bears directly on BN-001 (no agreed definition of "previously unseen") and on the record's account of what "scaling" means well past the boundary AS-001 anticipated. This assessment does not propose a reclassification; it records that the claim's mechanism account is now materially incomplete without IN-007, two years into the record's life, in a field moving fast enough that the gap itself is notable.
Sourced from: Medium, "The State of Large Language Models: Latest Updates & Trends (2025–2026)" (Feb 2026) for the inference/tooling consensus-shift framing; general field knowledge of o1 (Sept 2024), o3 (Dec 2024), and DeepSeek-R1 (Jan 2025) release timing and capability framing. The Medium source is a secondary roundup, not a primary research paper — adequate for establishing that a shift occurred, not for citing specific benchmark figures. Primary literature (e.g. the test-time-compute scaling papers referenced in FR-AI-0005's evidence trail) should be consulted before this assessment is extended with specific numbers.
AS-002 stage: VS-03 after ratified review (stored code VS-03 preserved).
2026-09-02
AS-003 · Assessment updated; Pressure State and Verification Stage unchanged — Fragmenting
LPR-001-D04 corrects the source interpretation underlying parts of AS-001 and AS-002 without rewriting those historical assessments. The task-level core remains supported, principally by GPT-3 few-shot evaluations (IN-002) and the documented emergence literature (IN-003), but the evidence is narrower than AS-001 stated: Kaplan et al. (IN-001) establish predictable scaling of held-out language-model loss rather than unseen-task performance; Chinchilla (IN-006) establishes compute-optimal training and broad downstream gains rather than independently proving task novelty; and the contamination evidence (IN-005) establishes a serious measurement risk without showing that the record's cited benchmark gains were themselves contamination-driven. Schaeffer et al. (IN-004) narrow the emergence dispute to metric-dependent apparent discontinuities in particular evaluated settings, not a universal proof that scaling is continuous. Test-time compute (IN-007) is now anchored to primary evidence from Snell et al.; it is a genuine scaling mechanism but operates at inference time and therefore sits partly outside the claim's explicit training-scaling scope. The corrected evidence still does not converge on a clean account of what counts as a previously unseen task, how much benchmark evidence is contamination-free, or whether inference scaling belongs inside this claim. FRAGMENTING / VS-03 is therefore retained, with lower confidence in the stronger historical formulations but no basis for a state or stage change.
Governed assessment correction following LPR-001-D04. AS-001 and AS-002 are preserved append-only as historical judgements; AS-003 supersedes only the source-fidelity claims identified by the provenance review. No new evidence instance was admitted through LPR-001.
Claim Lineage

Historical narrative recorded for this claim. It does not override the current State Warrant.

2017–19
Transformer scaling begins. GPT-1 and GPT-2 demonstrate that language model performance improves with scale. Task generalisation is observed informally but not systematically measured against scaling curves.
2020
Scaling laws quantified; GPT-3 evaluated in few-shot settings. Kaplan et al. quantify power-law relationships for held-out language-model loss. Brown et al. evaluate in-context task performance without task-specific gradient updates. Those evaluations do not establish that task types, instances or structural analogues were absent from pretraining data, and held-out loss is not itself proof of previously unseen-task performance.
2022–23
Emergent abilities documented and the discontinuity interpretation contested. Wei et al. (2022) report apparent emergent abilities under studied task metrics. Schaeffer et al. (2023) show how metric choice can create apparent discontinuities in particular evaluated settings; this does not establish universal continuity for all capabilities. The mechanism debate concerns how scaling gains are measured.
2022–23
Chinchilla refines scaling; contamination becomes systematic concern. Hoffmann et al. correct the parameter-data balance. Contamination literature matures. The claim enters FRAGMENTING as evidence quality disputes compound.
Questions on record

Questions retained in this record. The current State Warrant may have narrowed or reframed them. Recorded dates refer to question history, not necessarily the age of the current wording; known revision dates are shown separately.

OQ-001

Can an agreed operational definition of "previously unseen task" be established — one that resolves the contamination question and the structural-analogue question simultaneously? Without this, BN-001 cannot be closed regardless of experimental output. This is the primary interior bottleneck.

Question recorded 2024-01-15
OQ-002

Are apparent emergent abilities genuine discontinuities in capability, or continuous improvements made visible by nonlinear metrics? The Schaeffer et al. result is significant but contested. The answer matters for whether scaling law extrapolation can predict future task performance.

Question recorded 2024-01-15
OQ-003

PROG-AI now contains a substrate inversion: the foundational mechanism record (FR-AI-0004) is FRAGMENTING while downstream consequence records are ESCALATING. Does this inversion resolve as the scaling mechanism clarifies, or does the programme continue to build capability evidence on a contested mechanistic foundation?

Question recorded 2024-01-15
OQ-004

IN-007 introduces test-time/inference-time compute as a scaling axis the claim's original statement did not anticipate. Should the claim statement itself be revised to cover this — "scaling language model training and inference" — or does the Canonical Reality Principle's discipline (claims are stated as narrowly as the evidence warrants, scope changes go through the mutation log, not silent rewording) mean this is better tracked as an open question indefinitely, or spun into a related but distinct record? This is the same kind of structural question OQ-001 raises for "previously unseen," now recurring for "scaling."

Question recorded 2026-06-29
Mutation Log
MutationDateFieldPrior valueCurrent value
M-0172026-10-08Reference correctionreference_correctedInvestigated clarification candidateBounded wording aligned with source limits and existing assessment
What this update recorded for M-017

Editorial Correction (GP-001), investigated clarification repair: mechanisms.3.description corrected after source checks. No new evidence, reassessment, claim-scope change or provenance-cycle completion. Claims, assessment histories/current judgments, status, question IDs and raised dates, review metadata and prior mutation entries preserved. Previous values and source basis: docs/reviews/MCP-CLARIFICATION-REPAIR-2026-10-08.json.

View correction receipt (fields, prior wording and source basis) ↗
M-0162026-10-08Reference correctionreference_correctedExplanatory wording inconsistent with corrected admitted evidence and current assessmentBounded explanatory wording aligned with existing source limits and settled claim scope
What this update recorded for M-016

Editorial Correction (GP-001), priority consistency repair: lineage.items.1.text, lineage.items.2.year, lineage.items.2.text corrected against existing admitted evidence and current assessment. No evidence admitted and no reassessment; claim, instances, assessments, status, question IDs and raised dates, and prior mutation entries preserved. Previous values and field-level basis: docs/reviews/MCP-PRIORITY-CONSISTENCY-REPAIR-2026-10-08.json.

M-0142026-09-06Description restoreddescription_restoredLegacy ingestion cutoffs: mechanisms:RM-001, mechanisms:RM-002, mechanisms:BN-001, mechanisms:AT-001Source-restored complete descriptions
What this update recorded for M-014

Editorial Correction (GP-001), RENDER-PILOT-001 content restoration: restored RM-001, RM-002, BN-001, AT-001 from FR_AI_0004_scaling_emergent_performance.html (Drive file 1k1YV18ZZDTs7emO7mBXZL103gIvoIsQV). Each damaged value was a verified prefix of the recovered source after the existing FR-MF to FR-AM identifier migration. Restored the omitted remainder using the original converter text normalization; no inferred completion. Existing later corrections retained. Restoration recovers historical wording and does not reaffirm it as the current assessment. Assessments, evidence instances, open questions, claim, status and rendering eligibility unchanged. Source hashes and field receipt: docs/reviews/render-pilot-content-restoration.json; current-assessment compatibility review: docs/reviews/RENDER-PILOT-001-CONTENT-RESTORATION.md.

M-0152026-09-30Source or history correctionprovenance_correctionLPR-001-D35 discrepancies_foundDISCREPANCIES-CORRECTED
What this update recorded for M-015

Governed bounded correction applied to IN-002 after LPR-001-D35. Brown et al. remains strong supportive evidence for task-agnostic few-shot/in-context performance without task-specific parameter updates, but the description no longer asserts that the paper proves the evaluated tasks were absent from GPT-3 pretraining. Existing BN-001 contamination/task-novelty qualification is preserved. No new evidence admitted; claim statement, assessments, pressure state, and verification stage unchanged. LPR-001-D35 completion recorded so the provenance-review queue may advance.

M-0132026-09-02Assessment issuedassessment_issuedAS-002AS-003
What this update recorded for M-013

AS-003 issued as the governed append-only assessment correction after LPR-001-D04. It narrows historical source interpretations while retaining FRAGMENTING / VS-03. AS-001 and AS-002 remain unchanged as historical judgements; no new evidence admitted.

M-0122026-09-02Source or history correctionprovenance_correctionLPR-001-D04 discrepancies_foundDISCREPANCIES-CORRECTED
What this update recorded for M-012

Governed bounded correction applied to IN-001, IN-004, IN-005, IN-006, and IN-007. Structured primary-source provenance added; unsupported claims about unseen-task proof, universal continuity, benchmark-specific contamination/saturation, 2024 dating of Chinchilla, and bundled test-time-compute consensus/saturation claims were removed or bounded. IN-002 and IN-003 remain as verified during the original provenance pass.

M-0112026-09-02Source reviewprovenance_review—LPR-001-D04
What this update recorded for M-011

Legacy provenance review completed. Structured provenance added to IN-002 and IN-003. Material source-fidelity discrepancies identified in IN-001, IN-004, IN-005, IN-006, and IN-007 and left unchanged pending governed correction approval. No new scientific evidence admitted; assessments, pressure state, and verification stage unchanged.

M-0102026-07-09Description reordereddescription_reordered—DESCRIPTION-REORDERED
What this update recorded for M-010

Editorial Correction (GP-001): IN-007 description reordered per EP-001 — existing closing synthesis sentence moved to opening, no wording added or removed.

M-0092026-06-29Open question raisedopen_question_raised—OQ-RAISED
What this update recorded for M-009

OQ-004 added: whether the claim statement's scope should be revisited now that a second scaling axis (test-time compute) has emerged.

M-0082026-06-29Assessment issuedassessment_issuedAS-001AS-002
What this update recorded for M-008

AS-002 issued following targeted reassessment of single-assessment records. Pressure state unchanged: FRAGMENTING. New evidence (IN-007) adds a genuinely new mechanism (test-time compute) not anticipated by the original claim statement.

M-0072026-06-29Instances loggedinstances_logged—INSTANCES-LOGGED
What this update recorded for M-007

IN-007 added: test-time compute / reasoning models (o1/o3, DeepSeek-R1) as a second scaling axis, plus 2025–26 field consensus on inference-driven progress.

M-0062024-01-15Programme panel addedprogramme_panel_added—PROGRAMME-PANEL-ADDED
M-0052024-01-15Null boundary condition metnull_boundary_condition_met—NULL-BOUNDARY-CONDITION-MET
M-0042024-01-15Mechanisms recordedmechanisms_recorded—MECHANISMS-RECORDED
M-0032024-01-15Assessment issuedassessment_issued—ASSESSMENT-ISSUED
M-0022024-01-15Instances loggedinstances_logged—INSTANCES-LOGGED
M-0012024-01-15Record createdrecord_created—RECORD-CREATED
Evidence Sources
7 logged entriesShow sources ↓Hide ↑

Logged entries are reports on record, not counts of independent studies or patients. Several entries can concern the same underlying evidence. Supportive and Contesting describe an entry’s relation to the claim. Partial indicates limited or mixed bearing; read the details for limitations or legacy status. These labels are not study-quality ratings.

IN-001
Kaplan et al. — Neural scaling laws for language models
Read evidence details and limits for IN-001

Kaplan et al. (OpenAI, 2020) establish empirical power-law relationships between language-model cross-entropy loss and model size, dataset size, and training compute, with some trends spanning more than seven orders of magnitude. The measurements are on held-out text prediction and therefore demonstrate predictable improvements in language-modelling loss as scale increases. They do not directly test performance on previously unseen tasks, nor do they establish that the observed held-out-loss improvements reflect task generalisation rather than memorisation. This is foundational evidence for the scaling mechanism that later task-level studies build on, but only indirect evidence for this record's task-generalisation claim.

1. Kaplan, J. et al. (2020), Scaling Laws for Neural Language Models, arXiv:2001.08361. · Abstract; cross-entropy-loss scaling with model size, dataset size and training compute
Partial
IN-002
GPT-3 few-shot performance and emergent task generalisation
Read evidence details and limits for IN-002

Brown et al. (2020) demonstrate that GPT-3 (175B parameters) performs a wide range of evaluated tasks from instructions and/or few examples without gradient updates or task-specific fine-tuning — in-context learning. Performance on translation, arithmetic, commonsense reasoning, and other evaluations improves with scale in the reported settings. This is strong supportive evidence that scaling improves task-agnostic few-shot/in-context performance without task-specific parameter updates. It does not establish that the evaluated task types, specific instances, or relevant structural analogues were absent from GPT-3's pretraining corpus, so it does not by itself prove performance on previously unseen tasks in the stronger training-data sense tracked by BN-001. The mechanism is debated — including whether in-context learning constitutes task performance or sophisticated pattern matching — but the reported evaluation performance is documented across diverse task types.

1. Brown, T. B. et al. (2020), Language Models are Few-Shot Learners, NeurIPS 2020, arXiv:2005.14165. · Abstract; few-shot evaluation without gradient updates; translation, arithmetic and reasoning tasks
Supportive
IN-003
Wei et al. — Emergent abilities of large language models
Read evidence details and limits for IN-003

Wei et al. (2022, TMLR) document that certain capabilities appear discontinuously as model scale increases — absent below a threshold, present above it. Examples include multi-step arithmetic, word unscrambling, and chain-of-thought reasoning. These emergent abilities are not predictable from the smooth scaling curves documented by Kaplan et al.; they appear as sharp transitions. The paper strengthens the claim that scaling produces performance on unseen tasks, but introduces a complication: if emergence is discontinuous, scaling law extrapolation cannot reliably predict when new task performance will appear. This is an interior mechanism question — it does not threaten the claim's truth, but it constrains the predictive power of scaling as a mechanism.

1. Wei, J. et al. (2022), Emergent Abilities of Large Language Models, Transactions on Machine Learning Research, arXiv:2206.07682. · Definition of emergent abilities; examples and scaling discussion
Partial
IN-004
Schaeffer et al. — Are emergent abilities a mirage?
Read evidence details and limits for IN-004

Schaeffer, Miranda, and Koyejo (2023, NeurIPS) present an alternative explanation for apparent emergent abilities. For particular tasks and model families, holding model outputs fixed, they show that nonlinear or discontinuous evaluation metrics can produce apparently sharp emergence while linear or continuous metrics yield smoother, more predictable changes with scale. Their experiments include the InstructGPT/GPT-3 family and BIG-Bench tasks. This is contesting evidence against treating every apparent emergence threshold as a fundamental discontinuity in capability. It does not establish that all scaling improvements are continuous and predictable, nor does it deny that larger models can achieve better task performance.

1. Schaeffer, R., Miranda, B. and Koyejo, S. (2023), Are Emergent Abilities of Large Language Models a Mirage?, NeurIPS 2023, arXiv:2304.15004. · Abstract; metric-choice hypothesis; InstructGPT/GPT-3 and BIG-Bench analyses
Contesting
IN-005
Benchmark contamination — evidence-quality constraint
Read evidence details and limits for IN-005

Golchin and Surdeanu (2023) develop black-box methods for detecting training-data contamination and report evidence that GPT-4 is contaminated with AG News, WNLI, and XSum. This establishes contamination as a material threat to the evidential value of benchmark results when training corpora are undisclosed. It does not establish the legacy claim that scaling gains on MMLU, HellaSwag, and ARC were partially caused by test-set overlap, nor does this source establish a general benchmark-saturation trend. The instance therefore contests the strength of benchmark-based generalisation evidence, rather than demonstrating that scaling-driven performance gains are themselves contamination-driven.

1. Golchin, S. and Surdeanu, M. (2023), Time Travel in LLMs: Tracing Data Contamination in Large Language Models, arXiv:2308.08493. · Abstract; contamination-detection method; GPT-4 findings for AG News, WNLI and XSum
Contesting
IN-006
Chinchilla — compute-optimal training
Read evidence details and limits for IN-006

Hoffmann et al. (DeepMind, 2022) study compute-optimal language-model training and find that model size and training-token count should be scaled together under a fixed compute budget. Their 70B-parameter Chinchilla model, trained on substantially more data, outperforms much larger models including Gopher and GPT-3 across a broad range of downstream evaluations. The result refines the allocation of training scale between parameters and data and shows that additional data can materially improve downstream performance at fixed training compute. It does not independently establish that those gains are on genuinely previously unseen tasks or resolve contamination and task-novelty questions central to this record.

1. Hoffmann, J. et al. (2022), Training Compute-Optimal Large Language Models, arXiv:2203.15556. · Abstract; compute-optimal scaling; Chinchilla downstream evaluations
Partial
IN-007
Test-time compute scaling — Snell et al.
Read evidence details and limits for IN-007

Snell et al. (2024) study inference-time computation as a distinct scaling axis. They evaluate search with process-based verifier reward models and adaptive modification of a model's response distribution, finding that the effectiveness of test-time compute depends on prompt difficulty. A compute-optimal strategy improves test-time scaling efficiency by more than fourfold relative to a best-of-N baseline, and in FLOPs-matched evaluations a smaller model with additional test-time compute can outperform a model 14 times larger on problems where the smaller model already has non-trivial success. This establishes test-time compute as a real capability-scaling mechanism. It does not establish the broader legacy bundle about o1/o3, DeepSeek-R1, an industry consensus shift, training-scale saturation, or performance specifically on uncontaminated previously unseen tasks. Because this record's claim is explicitly about scaling language-model training, the result also sits partly outside the claim's present scope rather than directly supporting it.

1. Snell, C. et al. (2024), Scaling LLM Test-Time Compute Optimally can be More Effective than Scaling Model Parameters, arXiv:2408.03314. · Abstract; compute-optimal test-time scaling; FLOPs-matched comparison with a 14x larger model
Partial