Gergely Orosz：大厂 AI 支出大头用于写代码，能否持续？

Gergely Orosz 认为，多数公司的 AI 支出大头集中在编码场景，但这一格局能否持续仍取决于可验证任务的范围。编码、数据分析及可能的科学与数学研究可通过测试和形式化验证检验结果，更适合大规模运行长时 agent 任务。