📌 一句话摘要

真格基金戴雨森深度复盘 2025 年 AI 中场，强调模型推理能力、应用「壳」的价值及团队稳定性被低估。

📝 详细摘要

文章是真格基金管理合伙人戴雨森对 2025 年上半年 AI 行业的万字复盘。他指出 OpenAI 通用大模型在 IMO 数学奥赛中获金牌，标志着 AI 推理能力达到新高度，预示各行业“李世石时刻”到来。戴雨森强调 AI 应用“壳”的价值被低估，因其能提供模型原生不具备的上下文（Context Engineering），提升用户体验。他回顾了上半年 AI 在编程、推理、Agent 应用和多模态领域的突破，并指出人形机器人被高估，而应用价值、优秀团队和模型进化速度被低估。文章还分析了不同大模型公司的发展策略，并以 Kimi K2 为例，阐述了团队稳定性、技术坚持和洞察力在逆境中的重要性，最后展望了 AI 在推理、编程和工具使用三大主线的持续演进。

💡 主要观点

1. OpenAI 通用大模型 IMO 金牌突破，预示 AI 推理能力质的飞跃。 未经特定优化的大模型能解高难度数学证明题，表明 AI 思考能力显著提升，预示 AGI 加速到来，将改变理工科知识生成方式。
2. AI 应用“壳”的价值被低估，Context Engineering 是核心竞争力。 好的应用能为模型提供独有的上下文和工具环境，解决模型原生不足，提升用户体验和任务完成度，形成护城河。
3. AI 在编程、推理、Agent 和多模态领域已跨越鸿沟进入主流市场。 AI 编程工具普及、推理模型落地、Agent 应用进入早期采用阶段、图像/视频生成能力显著提升，标志 AI 已从研究走向实用。
4. 优秀团队的稳定性、技术坚持和洞察力是逆境中突围的关键。 以 Kimi 为例，团队的长期信任、对长文本和模型智能方向的专注，以及对技术趋势的准确判断，使其在竞争中脱颖而出。
5. 未来 AI 模型能力将持续高速进化，应用需提前 6-12 个月设计以适应。 模型在推理、编程、工具使用等核心能力上仍将快速提升，应用公司需具备前瞻性，为未来更强大的模型能力做准备。

💬 文章金句

• 语言模型没有经过特别的数学优化，只在离线环境中就能解出 IMO 级别的证明题。像之前 Google 用 AlphaGeometry 是为数学专门设计的模型，还借助了形式化验证方法，并不具备泛化能力。
• 所谓「李世石时刻」，就是 AI 在某个领域超越了人类最强水平。
• 好的应用公司是期待模型升级的，这样可以让用户享受更强大的体验。「壳」的价值仍被低估了。
• Context Engineering 也是类似的道理：我们要给模型提供的是能够帮助它更好完成任务的上下文。
• 如果一个团队足够稳定，有优秀人才、有资源、有意志，那他们的主观能动性和突破空间远远被低估了。

📊 文章信息

阅读完整文章