推文

@mr_mofun · 2026-10-15 07:45

企业软件公司Zoho创始人斯里达尔·文布（Sridhar Vembu）在社交平台X发帖称，以最终成品为衡量基准，当前AI为软件开发带来的生产率提升“充其量”为25%至50%； 原型开发速度虽已大幅加快，但完成成品仍需大量人工投入。他同时表示，十倍乃至百倍级的生产率跃迁“可能会发生——我相信它会发生——但尚未发生”。 文布列举了AI带来的现实挑战： 其一，受AI数据中心大规模建设推动，服务器、内存及硬件价格一年内上涨4至5倍； 其二，工程师人均AI token支出大幅攀升，“这些生产率收益是有代价的”； 其三，托管开放权重模型需要昂贵的GPU。 他称，公司营收虽在增长，但成本增速要快得多。此外，地缘政治不确定性叠加其上——他以中东为例称，该地区是重要市场，长期战事不利。 文布还警告，美国股市正处于“巨大的泡沫”之中，将股价视为未来繁荣的指标是错误的，2008-2009年全球金融危机、2001-2002年互联网泡沫破裂以及上世纪80年代日本泡沫均已证明这一点。 至于十倍级跃迁的依据，文布将其指向数学领域的进展，关键一环是代码的自动形式化与形式化验证： 数学定理可在编程语言Lean中形式化，并由Lean验证器完成证明核验；大语言模型（LLM）本身不验证证明，而是生成证明供Lean验证。一旦具备高级推理能力的LLM与Lean验证器形成反馈闭环并获得充足算力，“奇迹便会发生”。 他认为，这种形式化自动验证机制将延伸至LLM生成的软件，这正是十倍乃至百倍预测的根基——其类比是手工织布与动力织机之别。 文布总结称，当前数据中心与AI成本、地缘政治不确定性，以及由自动程序验证进展所驱动的十倍级软件生产率跃迁潜力，共同构成了对软件岗位的挑战，“这正是我们内部呼吁自我重塑的原因”。

曝光 8 · 评论 0 · 点赞 0 · 书签 0 · 曝光/时 4.831492078946294