概览
陶哲轩倒戈：喊话模型公司必须慢下来
早上好，AI科技爱好者们！以下是今天最值得关注的 AI 洞察，5 分钟带你看懂全局。
算力效率与生态争夺同时升温：Mistral 用 4000 张 GPU 训出 1T 模型，Anthropic 与 OpenAI 各自加码开发者与企业入口；而陶哲轩的「证明消化不良」提醒行业，加速之外还有未被消化的代价。今日给大家分享两个 OPC 案例，详情见下方。
- 💡 OPC案例：在红海赛道做出 $6.3K MRR 的社媒排程工具；从吃罐头到打造 $100K 月营收 AI 服务公司
- 📰 Mistral 发布 1T 大模型：只用 4000 张 GPU
- 📰 Atlassian 加深 OpenAI 合作：签下支出承诺
- 📰 陶哲轩突然倒戈：喊话模型公司慢下来
- 👤 Agent落地卡在真实环境评估
OPC分享
一、OPC案例
案例 1
分享者：Petar Georgiev
在红海赛道做出 $6.3K MRR 的社媒排程工具
案例背景：
Petar Georgiev 是软件工程师，曾读海军军官课程，后转做远程开发、业余做项目。他需要社媒排程工具，市面产品要么太贵、要么体验欠佳，于是自建 PostFast。半年盈利，月营收 $6.3K。
解决方案：
PostFast 是社媒排程工具。他靠三点突围：打磨业内最佳 UX、极致响应速度、对每个视频与图片预处理以降低发布失败率。运营上把成本压到最低，用全职工作收入供养项目，并靠 SEO 持续积累自然流量。
案例启示：
红海赛道并非没机会，把某环节做到极致（速度、稳定性）即可切出细分。SEO 复利与超低成本运营适合单人长期作战。
收入：$6.3K 美元月度营收
案例 2
分享者：Aryan Mahajan
从吃罐头到打造 $100K 月营收 AI 服务公司
案例背景：
Aryan Mahajan 2024 年 9 月在达拉斯掏空积蓄、毫无头绪，花 $4K 飞去迪拜参会后留下。此后四个月住 400 尺小屋、日食金枪鱼罐头、暴瘦 22 磅、信用卡刷爆，却仍无生意。
解决方案：
某深夜他刷到一条讲 AI 聊天机器人的视频，天亮前就做出第一版原型，之后两年不停迭代。先上 Upwork 接单，搭建 AI 服务技术栈，把服务产品化并用漏斗持续获客，最终做出含 Zoro 在内、月营收 $100K 的 AI 服务组合。
案例启示：
服务生意可用「产品化 + 漏斗」放大；与其空想点子，不如先接单验证需求。人脉靠「在场与有用」打开，而非资金。
收入：$100K 美元月度营收
今日精选
二、今日AI
海外新闻
1. Mistral 发布 1T 大模型：只用 4000 张 GPU
Mistral 发布 1 万亿参数多模态模型 Mistral Large 4，暂不开放权重，仅通过带护栏端点调用，三周安全测试后开放。最大看点是算力：完全自训，仅用 4000 张英伟达 GPU，自称比中国对手少两到三倍。ASML 领投 C 轮、三星领投 D 轮，估值 210 亿欧元。基准成绩未公布。
海外新闻
2. Atlassian 加深 OpenAI 合作：签下支出承诺
Atlassian 扩大与 OpenAI 合作，接入 GPT-6 Astra 与 GPT-5.6，并将企业上下文接入 ChatGPT 与 Codex，OpenAI 承认这实质是支出承诺。但 Astra 不会成为 Rovo 默认模型，Rovo 经内部网关多模型动态路由。
海外新闻
3. Lambda 融资 40 亿美元：估值 145 亿冲 IPO
AI 云服务商 Lambda 以 145 亿美元投前估值融资至多 40 亿美元，Coatue 与 Blackstone 领投，或为 2027 年 IPO 前最后一轮私募。
国内新闻
4. 陶哲轩突然倒戈：喊话模型公司慢下来
数学家陶哲轩在 SAIR 演讲中公开呼吁模型公司慢下来，提出「Proof Indigestion」：数学证明的五个环节中，AI 只加速前两步，验证、阐释、评审、写入教科书几乎停滞，导致大量证明无人理解。他强调 AI 做不了不可验证的洞见。
国内新闻
5. Anthropic 送初创一年免费 Claude Team
Anthropic 扩展 Claude for Startups：符合条件的初创可免费获一年 Claude Team（最多五个高级席位）、1000 美元 API 额度，并可进入 Claude Marketplace 开发插件、预约应用 AI 团队咨询。门槛为五年内成立或两年内融资。
三、AI大神
Box CEO Aaron Levie
1. Agent落地卡在真实环境评估
Box CEO Aaron Levie 认为，Agent 的采用与部署卡在能否在真实工作环境中测试和优化，因为无法判断它们在评估集上的表现，每家企业都得手搭评估，未来会催生评估基础设施的大市场。
Meta AI 高级总监 Madhu Guru
2. 评估集就是你的产品规格
Meta AI 高级总监 Madhu Guru 指出，团队常把 evals 当成 Agent 建好后才追加的 QA 环节，但 AI 产品不同，评估集就是产品规格，应先行定义并驱动开发，让团队围绕可度量目标对齐。
前 Cursor 设计师 Ryo Lu
3. Netflix双语言字幕学语言
曾设计 Cursor、Notion、Stripe 的设计师 Ryo Lu 做了一个 Netflix 双语言字幕工具，同时显示任意两种语言并为中日韩附发音指南，可一键装进 Chrome，展示了 AI 时代独立开发者做轻量小产品的思路。
Replit CEO Amjad Masad
4. 美国正追赶开源权重模型
Replit CEO Amjad Masad 认为美国在开源权重模型上正在追赶，并晒出家族小店用 Replit 搭建业务、让 Agent 在 TikTok 推广应用的玩法，显示 AI 编程正渗透到最接地气的真实场景。
SPC 合伙人 Aditya Agarwal
5. 本地跑Muse/Dot更适合Agent
SPC 普通合伙人、Facebook 与 Dropbox 早期高管 Aditya Agarwal 提出，本地运行 Muse/Dot 这类计算机比日益封闭的 macOS 更适合作为 Agent 运行环境，直指 Agent 时代本地算力与开放…
工具学习
四、AI研究
[Arxiv]
1. AI 的「实验品味」可被量化：比人类专家省一半算力才算赢
TasteVal 是首个评测前沿模型「实验研究品味」的基准：给定固定研究问题，让模型只当研究者设计实验、由固定编码者智能体执行，在 40 H100 小时或 120 墙钟小时内迭代得出结论，并以算力效率定义品味——用人类专家一半算力达到同样分数即品味翻倍。基准含 8 个开放式难题，招募 24 名专家作基线，评测 20 个 2023 至 2026 年模型。
五、Agent工具
⭐ 83,441 stars/周
1. bytedance/deer-flow — 编排子智能体超级框架
deer-flow 是字节跳动开源的长时程超级智能体框架，2.0 为完全重写版本，核心是编排子智能体、长期记忆与沙箱环境，配合可扩展 Skills 完成研究、编码等长跨度任务。
⭐ 31,622 stars/周
2. iOfficeAI/OfficeCLI — 为智能体提供办公套件
OfficeCLI 是 iOfficeAI 面向 AI Agent 打造的 Office 套件，让任意智能体用一行命令读、改、建 Word、Excel、PowerPoint，安装后会自动把 officecli skill 注入 Claude Code、Cursor、Copilot 等编码 Agen…
⭐ 11,054 stars/周
3. google/artemis — 让智能体像人操控手机
artemis 是 Google 开源的 Android 自动化智能体，让 AI 助手与测试套件像真人一样操作真机，用自然语言指令跨 App 完成测试流程与日常任务。