---
type: quote
author: Andrej Karpathy
title: 发表于 X/Twitter 的推文（关于 AI 与可验证性）
linkUrl: https://x.com/karpathy/status/1990116666194456651
date: 2025-11-16 12:00:00 +0800
tags: [ai, andrej-karpathy, generative-ai, llms, ai-agents]
---

凭借现在的人工智能，我们能够编写以前根本无法手工编写的新程序。我们通过指定目标（例如分类准确率、奖励函数）来做到这一点，并通过梯度下降搜索程序空间，以找到在该目标上表现良好的神经网络。

Karpathy 引用了他的「Software 2.0」博客文章。他指出，「可验证性」是人工智能优化中最具预测性的特征——如果一项任务是可验证的，那么它就可以直接或通过强化学习进行优化。而人工智能「练习」的环境必须满足三个要求：可重置、高效、可奖励。
**来源**: [Simon Willison 的网络日志](https://simonwillison.net/2025/Nov/16/andrej-karpathy/)