本月初，美股软件板块在经历了一阵暴跌后开始反弹，但其涨幅不足以扭转华尔街的担忧——企业软件是否正面临被AI颠覆。这种担忧让投资者用脚投票，ServiceNow、Adobe、Workday等老牌软件企业，其股价已经跌落至十年以来的最低水平。
本内容由作者授权发布，观点仅代表作者本人，不代表虎嗅立场。，推荐阅读heLLoword翻译官方下载获取更多信息
11:40, 3 марта 2026Силовые структуры，推荐阅读同城约会获取更多信息
Enterprise teams already use Lean in production: AWS verified its Cedar authorization policy engine, and Microsoft is using Lean to verify its SymCrypt cryptographic library. Over 8,000 GitHub repositories contain Lean code. Over 200,000 users have installed the programming environment. More than 700 people are active in the Lean Zulip channel every day. Research groups worldwide contribute to the ecosystem. As Chris Lattner observed, manual rewrites and translation work are becoming AI-native tasks. AI will rewrite the world’s codebase. The platform it does so on matters enormously.