Paper: 2602.15829 Authors: Tomás Vergara-Browne, Darshan Patil, Ivan Titov, Siva Reddy, Tiago Pimentel, Marius Mosbach Categories: cs.LG

Abstract

This paper provides a rigorous formalization of the superficial alignment hypothesis (SAH) through a novel metric called task complexity. The SAH suggests that large language models acquire most knowledge during pre-training, with post-training merely surfacing this latent knowledge. The authors define task complexity as the length of the shortest program needed to achieve target performance on a task. Through this lens, they demonstrate that pre-trained models dramatically reduce the complexity required for high performance across mathematical reasoning, machine translation, and instruction following tasks. While pre-training enables access to strong capabilities, it may require gigabyte-scale programs to unlock them. Post-training, however, collapses this complexity by orders of magnitude, often requiring only kilobytes of information for task adaptation.

Key Contributions

  • Introduces task complexity as a formal metric: the length of the shortest program achieving target performance on a task
  • Provides a unified framework that reconciles different arguments supporting the superficial alignment hypothesis
  • Empirically estimates task complexity for mathematical reasoning, machine translation, and instruction following
  • Demonstrates that pre-training reduces task complexity dramatically, but accessing capabilities may require large programs
  • Shows post-training collapses complexity by orders of magnitude, from gigabytes to kilobytes
  • Validates that task adaptation often requires surprisingly minimal information

Methodology and Framework

The core innovation lies in operationalizing the SAH through Kolmogorov complexity theory. The authors define task complexity C(TM)C(T|M) as the length of the shortest program that, when conditioned on model MM, achieves performance threshold on task TT.

The framework interprets the SAH as claiming that C(TMpre)C(T)C(T|M_{\text{pre}}) \ll C(T), where MpreM_{\text{pre}} is a pre-trained model. This formalization unifies previously disparate arguments:

  • Few-shot learning: Short prompts (small programs) achieve high performance
  • Low-rank adaptation: LoRA’s success indicates low intrinsic dimensionality
  • Minimal fine-tuning data: Small datasets suffice for adaptation

The authors estimate task complexity through multiple strategies: prompt engineering, parameter-efficient fine-tuning (PEFT), and full fine-tuning. Each approach provides an upper bound on true task complexity, as they may not find the optimal shortest program.

Experimental Results

The experiments span three diverse tasks to test the framework’s generality:

Mathematical Reasoning (GSM8K): Pre-training reduces complexity from effectively infinite (random baseline) to manageable levels. However, accessing strong performance requires substantial programs. Chain-of-thought prompting provides a 2KB program achieving 78% accuracy. Post-training with LoRA achieves similar performance with just 0.5KB of rank-8 adapters.

Machine Translation (WMT14 En-De): Pre-trained models show remarkable compression. A 0.1KB few-shot prompt achieves 27 BLEU, while full fine-tuning reaches 29 BLEU. The complexity gap between pre-trained and base models spans orders of magnitude, validating the SAH’s core claim.

Instruction Following (Alpaca): Post-training demonstrates extreme compression efficiency. Full fine-tuning on 52K examples achieves strong performance, but LoRA with rank-8 (0.5KB) captures most gains. This suggests the “instruction-following” capability largely pre-exists, requiring minimal information to surface.

Critically, the authors find that while pre-training enables capabilities, the programs to access them can be gigabytes in length (full fine-tuning weights). Post-training’s key contribution is collapsing this complexity dramatically.

Implications for AI Development

This work has several important implications:

Training Efficiency: The results suggest that massive post-training datasets may be inefficient. If task complexity is truly in the kilobyte range, current practices using millions of examples may be highly redundant. This opens opportunities for more data-efficient alignment methods.

Capability Emergence: The framework provides a quantitative lens for understanding emergence. Capabilities don’t suddenly appear; rather, pre-training gradually reduces task complexity until it becomes feasible to find short programs (prompts or adapters) that unlock them.

Safety Considerations: If harmful capabilities have low task complexity when conditioned on pre-trained models, they may be easily accessible through minimal fine-tuning or prompt engineering. This underscores the importance of pre-training safety.

Model Evaluation: Traditional metrics may conflate model capability (what the model can do) with accessibility (how easily capabilities are surfaced). Task complexity separates these dimensions, offering a more nuanced evaluation framework.

Takeaways

  1. Task complexity provides a formal, measurable definition of the superficial alignment hypothesis through Kolmogorov complexity theory
  2. Pre-training dramatically reduces the complexity of achieving high performance on diverse tasks, often by orders of magnitude
  3. Post-training’s primary role is collapsing the complexity of accessing pre-existing capabilities from gigabytes to kilobytes
  4. Task adaptation frequently requires surprisingly little information—often just a few kilobytes—suggesting current post-training may be highly redundant
  5. The framework unifies previously disparate observations about few-shot learning, parameter-efficient fine-tuning, and minimal data requirements
  6. Understanding task complexity has important implications for training efficiency, capability emergence, and AI safety considerations

论文: 2602.15829 作者: Tomás Vergara-Browne, Darshan Patil, Ivan Titov, Siva Reddy, Tiago Pimentel, Marius Mosbach 分类: cs.LG

摘要

本文通过引入任务复杂度这一新颖指标,为表层对齐假设(SAH)提供了严格的形式化定义。表层对齐假设认为大语言模型在预训练阶段获得了大部分知识,而后训练仅仅是将这些潜在知识显现出来。作者将任务复杂度定义为达到目标性能所需的最短程序长度。通过这一视角,他们证明预训练模型大幅降低了在数学推理、机器翻译和指令遵循等任务上实现高性能所需的复杂度。虽然预训练使模型能够获得强大能力,但可能需要GB级别的程序才能解锁这些能力。而后训练则将这种复杂度压缩了数个数量级,通常只需KB级别的信息即可完成任务适配。

主要贡献

  • 引入任务复杂度作为形式化指标:达到任务目标性能所需的最短程序长度
  • 提供统一框架,调和了支持表层对齐假设的不同论据
  • 实证估计了数学推理、机器翻译和指令遵循任务的复杂度
  • 证明预训练大幅降低任务复杂度,但访问能力可能需要大型程序
  • 展示后训练将复杂度压缩数个数量级,从GB降至KB级别
  • 验证任务适配往往只需极少的信息量

方法论与理论框架

核心创新在于通过柯尔莫哥洛夫复杂度理论将表层对齐假设操作化。作者定义任务复杂度 C(TM)C(T|M) 为在模型 MM 条件下达到任务 TT 性能阈值的最短程序长度。

该框架将表层对齐假设解释为 C(TMpre)C(T)C(T|M_{\text{pre}}) \ll C(T),其中 MpreM_{\text{pre}} 是预训练模型。这一形式化统一了先前分散的论据:

  • 少样本学习: 短提示词(小程序)即可实现高性能
  • 低秩适配: LoRA的成功表明内在维度较低
  • 最小微调数据: 小数据集足以完成适配

作者通过多种策略估计任务复杂度:提示工程、参数高效微调(PEFT)和全量微调。每种方法都为真实任务复杂度提供上界,因为它们可能无法找到最优的最短程序。

实验结果

实验涵盖三个不同任务以测试框架的普适性:

数学推理(GSM8K): 预训练将复杂度从实际上的无穷大(随机基线)降至可控水平。然而,访问强性能需要大量程序。思维链提示提供2KB程序达到78%准确率。使用LoRA后训练仅需0.5KB的秩8适配器即可达到相似性能。

机器翻译(WMT14 英德): 预训练模型展现出显著的压缩能力。0.1KB的少样本提示达到27 BLEU,全量微调达到29 BLEU。预训练模型与基础模型之间的复杂度差距跨越数个数量级,验证了表层对齐假设的核心主张。

指令遵循(Alpaca): 后训练展示了极致的压缩效率。在52K样本上全量微调达到强性能,但秩8的LoRA(0.5KB)捕获了大部分收益。这表明”指令遵循”能力在很大程度上已预先存在,只需最少信息即可显现。

关键发现是,虽然预训练赋予了能力,但访问这些能力的程序可能长达GB级别(全量微调权重)。后训练的关键贡献在于将这种复杂度大幅压缩。

对AI发展的启示

这项工作具有多个重要启示:

训练效率: 结果表明大规模后训练数据集可能效率低下。如果任务复杂度确实在KB级别,当前使用数百万样本的做法可能高度冗余。这为更高效的数据对齐方法开辟了机会。

能力涌现: 该框架为理解涌现提供了定量视角。能力并非突然出现;相反,预训练逐步降低任务复杂度,直到找到解锁能力的短程序(提示或适配器)变得可行。

安全考量: 如果有害能力在预训练模型条件下具有低任务复杂度,它们可能通过最小微调或提示工程轻易访问。这凸显了预训练安全的重要性。

模型评估: 传统指标可能混淆了模型能力(模型能做什么)与可访问性(能力被显现的难易程度)。任务复杂度分离了这些维度,提供了更细致的评估框架。

要点总结

  1. 任务复杂度通过柯尔莫哥洛夫复杂度理论为表层对齐假设提供了形式化、可测量的定义
  2. 预训练大幅降低了在多样化任务上实现高性能的复杂度,通常降低数个数量级
  3. 后训练的主要作用是将访问预存能力的复杂度从GB级压缩至KB级
  4. 任务适配往往只需极少信息量——通常仅几KB——表明当前后训练可能高度冗余
  5. 该框架统一了关于少样本学习、参数高效微调和最小数据需求的先前分散观察
  6. 理解任务复杂度对训练效率、能力涌现和AI安全考量具有重要意义