夜雨聆风阅读时间：约5分钟
━━━━━━━━━━━━━━━━
一个Uber工程师一年在AI编程工具上的花费上限是3.6万美元。这听起来疯狂吗？但当Uber的工程师年薪中位数是33万美元时，这笔AI预算只占11%。
更疯狂的是——Uber今年AI预算据说四个月就花完了。
━━━━━━━━━━━━━━━━
Uber的AI账单，撕开了AI定价的遮羞布
6月2日，Bloomberg报道：Uber正式给所有员工设定了每月1500美元的单工具token消费上限，限制对象是Cursor、Claude Code这类"代理式编程工具"。注意，这个上限是"每个工具"独立计算——用Cursor花1500，用Claude Code还能再花1500。
Simon Willison做了一个很有意思的换算：假设一个工程师主力用两个工具，那就是3000美元/月 × 12个月 = 3.6万美元/年。而Uber软件工程师的年薪中位数是33万美元。
AI工具消费约占年薪的11%。
这组数据之所以重要，是因为它第一次给出了一个"大公司实际愿意为AI编程工具付多少钱"的参考锚点。之前大家都在猜：AI编程工具到底值不值每月几百美元？现在Uber用真金白银投了票——每工具1500/月，这已经是他们对"效用上限"的判断了。
而更早之前，Uber的2026年AI预算据说在四个月内就被消耗殆尽。原因很简单：2025年做预算的时候，没人能预料到Claude Code、Cursor这类工具会这么"烧token"。AI编程的普及速度，超出了所有人的预期。
━━━━━━━━━━━━━━━━
Google开源Gemma 4：小模型也能打
就在Uber控预算的同一天，Google发布了Gemma 4 12B——一个120亿参数的统一多模态模型。
关键信息： - 开源，开发者可以自由使用和微调 - 编码器-free架构，简化了模型结构 - 多模态能力，能同时处理文本和图像 - 12B的参数量属于"小而美"的范畴
Gemma系列一直是Google对Meta Llama系列的开源回应。这次Gemma 4的亮点在于"小模型大能力"——用更少的参数实现接近大模型的效果。对于需要在本地部署、或者在边缘设备上运行AI的开发者来说，这种方向的模型更有实用价值。
Hacker News上这个帖子6小时内获得了270多条评论，讨论热度远超很多"大新闻"。这说明开发者社区对开源小模型的兴趣，一点不减。
━━━━━━━━━━━━━━━━
数学家的警告：AI正在"入侵"数学
《Science》杂志6月3日报道了一则让学术界焦虑的消息——数学家们正式发出了AI在数学领域快速扩张的警告。
这不是杞人忧天。AI在数学领域的表现正以惊人的速度提升：从自动证明定理，到发现新的数学关系，再到辅助数学家解决几十年未解的问题。AlphaGeometry、AlphaProof等系统的出现，已经证明了AI在数学推理上的潜力。
但数学家们的担忧集中在两点：
第一，"理解"与"模仿"的边界模糊了。 AI给出的证明过程看起来完全正确，但它真的"理解"了数学吗？还是在统计规律上画了一个完美的拟合曲线？目前没人能给出确切答案。
第二，数学教育面临根本性挑战。 如果AI能比大多数学生更快更好地解题，数学考试还有意义吗？数学训练思维的价值还能说服谁？
━━━━━━━━━━━━━━━━
三条线索指向同一个趋势
把这三件事放在一起看，你会发现一条清晰的主线：
AI正在从"炫技阶段"进入"算账阶段"。
Uber设消费上限，说明企业开始认真衡量AI工具的投入产出比；Google开源Gemma 4，说明"够用就好"的性价比路线开始受到重视；数学家的警告，则提醒我们——AI的能力边界正在被快速试探，而我们的社会规则和认知框架还没跟上。
AI编程工具月花1500美元贵不贵？取决于它能帮你省下多少时间。但有一点已经确定："随便用"的时代结束了。
━━━━━━━━━━━━━━━━
你怎么看？如果你公司给你每月1500美元的AI工具预算，你觉得够用还是不够用？评论区见👇
━━━━━━━━━━━━━━━━
