@levie:我们将面临一种奇怪的局面,那就是世界上一些“最难”的工作实际上很容易被……
摘要
Levie 和 Max Spero 讨论了可验证性如何决定哪些“困难”的知识工作会首先被自动化,他们认为,像数学、网络安全和代码这类可客观测试的领域,其 AI 自动化速度将快于结果主观的领域。
查看缓存全文
缓存时间: 2026/08/03 01:46
我们将面临一种奇怪的局面:世界上一些“最困难”的工作反而最先被自动化,尤其是因为它们的可验证性。
数学、网络和代码——尽管是极其困难和高价值的领域——具有能够客观测试正确性的优势。这有两个直接好处:模型的训练提供了更清晰的奖励信号,而且模型的运行让你能够知道它是否正常工作,因为你可以用可扩展的方式测试结果。
相反,在其他工作领域,即时可验证性要低得多。你的客户会同意哪些法律条款,根据不断变化的情绪应该开展什么营销活动,你的销售潜在客户想听到什么信息,为企业设定什么财务目标和预算,等等。
所有这些领域都有不断变化的内部和外部因素,它们没有“唯一正确答案”,它们依赖运营者的意见和风险承受水平,它们对首先获取正确的输入上下文高度敏感,而且在许多情况下,在模型生成结果之后的相当一段时间内,正确答案甚至都无法知晓。
这种区别的影响在于——即使模型能力持续指数级增长——在应用AI层面,除了模型本身之外,还会有很多工作要做,而且许多流程本身甚至需要随着时间推移而改变,才能从自动化中获得全部收益。我们甚至可能需要全新的能力,以便像对待软件那样,随时间推移来“测试”知识工作。
Max Spero (@max_spero_): 在我看来,可验证性有几个不同的层级 1)可编程验证(近乎免费)
- 游戏、编程、数学、网络安全、芯片设计 2)现实世界可验证(有成本或时间限制)
- 科学:生物学、化学、物理学
- 物理世界:材料科学、能源、
相似文章
@GregKamradt: "代码和数学正在蓬勃发展,因为它们易于验证,下一个前沿是难以验证的领域" Th…
Greg Kamradt 提出了一个AI验证难度的7级谱系,范围从像数学和代码这样可即时验证的领域,到具有缓慢、嘈杂反馈的文明规模系统。
@levie:我们将会看到,AI在个人生活和日常生产力中的作用与它在……之间的分歧越来越大…
一篇关于AI能力在消费用途和深度领域之间分化的评论,提到OpenAI下一代模型系列Astra据称解决了数学和科学领域的重大开放问题。
@mattpocockuk: 知识工作用代理自动化比代码要难得多 我们低估了软件开发对代理来说有多容易…
这条推文认为,与软件开发相比,知识工作用AI代理自动化更难,原因在于编码中的自动反馈循环和有序文档等优势。
@petergostev: 当前数学领域发生的事情,将会发生在任何具有可验证问题和高价值回报的硬科技行业。……
这篇文章认为,对AI代理集群的大规模投资可能会以高投资回报率彻底改变微芯片设计等硬科技行业,从而可能带来超级智能的突破。
@bcherny: 我一直在思考的一件事:过去,我认识的最优秀的工程师们花大量时间以各种方式自动化自己的工作……
一条发人深省的推文串,主张自动化工程任务(尤其是使用像Claude这样的AI代理)比以往任何时候都更加重要。它主张将领域知识编码为基础架构,以加速开发并使非工程师也能参与贡献。