Karpathy:软件3.0时代的范式转变与可验证性

Source: (unknown)

Summary

Andrej Karpathy 在访谈中阐述了他对 AI 编程范式转变的深刻认知:2025年12月是他真正信任 Agentic 工具的转折点。他提出软件3.0的核心观点——提示词就是编程,上下文窗口就是对 LLM 解释器的杠杆。通过菜单 App 的例子,他指出大量现有代码不应存在,神经网络将直接承担计算主体,传统应用层正在被压缩。他还深入分析了「可验证性」决定 AI 自动化速度的机制,以及 Vibe Coding(降低门槛)与 Agentic Engineering(维持专业质量标准)的本质区别。

Key Points

  • 软件3.0:提示词是编程方式,LLM 是解释器,上下文窗口是杠杆
  • 2025年12月是 Agentic 工具真正可信赖的转折点,不再需要频繁纠错
  • 菜单 App 案例:直接将图片交给 Gemini 叠加渲染,整个应用层变得多余
  • 可验证性决定 AI 自动化速度:RL 训练让可验证领域(代码、数学)能力跃升,不可验证领域能力粗糙
  • 神经网络将成为主进程,CPU 退化为协处理器角色
  • Vibe Coding 提升每个人的基础编程能力;Agentic Engineering 在此基础上维持专业软件的质量标准
  • 数据分布决定模型能力边界:实验室往训练数据里加什么,用户就只能用什么

Transcript

transcript