Chollet：非验证领域AI仅靠数据提升有限，完全替代工作仍遥远

对于非可验证领域，当前提升AI性能的唯一途径是整理更多带注释的训练数据，成本高昂且收益仅为对数增长。关键点在于：几乎所有工作都包含非可验证元素。几乎没有一项工作是端到端可验证的。即使是数学家的工作也不是端到端可验证的。软件工程涉及许多可验证任务，但并非端到端可验证。因此，'AI可以自动化大部分任务'与'AI能完全取代这项工作'之间的差距将在很长一段时间内存在于几乎所有工作中。就像自动驾驶一样，99%的时间可靠还远不足以去除人类。所以，即使我们拥有超人类自动定理证明器，数学家仍然会有工作。甚至最终我们可能会有更多的数学家（我知道这很可怕）。