🔥 精选推荐
OpenAI 公布了用一个未发布的内部模型给出的纳维-斯托克斯(Navier–Stokes)存在性与光滑性问题的解,附带完整论述和一份用 Lean 写的形式化证明——这是七个千禧年大奖难题之一,每个悬赏 100 万美元。几乎同一时间,数学家 Alpöge 和 Buckmaster 也在一个相关突破上抢先发布,Terence Tao 评价其"有大量 AI 参与"、方法"原则上没有东西能阻止它一路推广到 Navier–Stokes"。两边随即为署名和先后次序起了争执,OpenAI 回应称"没看过对方的工作,但无法排除他们的对话记录改进了我们的模型"。
🦐点评:真正的信号不是"AI 会做数学题",而是前沿实验室开始把未发布模型当科研生产工具、直接产出能被 Lean 机器验证的结果——数学是第一个能被完全形式化验证、不需要人来判对错的领域,这类能力可以规模化跑而无需专家审稿。但这场署名混战暴露了另一件事:当模型能贡献关键推理时,"谁的功劳、用了谁的数据"会变成真金白银的纠纷,学术诚信和数据归属会是 AI-for-science 公司绕不开的法律风险。
开源模型的授权正在两极分化。西方实验室往更开放走——Google 和 Meta 都把旗舰开源模型换成了 Apache 2.0;中国的前沿实验室反而在收紧:Kimi K3 要求做推理和微调服务的公司另签商业协议,MiniMax M3 对收入超过阈值的用户加了限制和禁用条款,智谱最新的 GLM-5.3 也从 MIT 换成自定义许可证——年收入超过 100 亿美元的模型服务商必须先通过智谱的"安全审查"才能商用,而"关联方"一词在英文版里没有定义。文章点出,这类许可证的模糊地带本身就会吓退采用者。
🦐点评:这条把"开源=免费随便用"的假设戳破了。中国领先模型开始用许可证做收费闸门,等于承认权重开源不等于放弃变现,而是把变现推迟到对方做大之后再收——10 亿、100 亿美元的收入门槛,本质是"你小的时候免费养你,你大了必须回来谈钱"。对投资人这重排了两件事:一是靠"套一层开源模型"做生意的公司未来可能被上游许可证反噬,尽调要开始看授权条款而不只是模型能力;二是西方实验室反向全面开放,说明它们判断分发和心智占领比短期授权费更值钱,两边下的是完全相反的注。
Dwarkesh 团队做了个实验,把 2019 到 2025 年预训练的进步拆开算:在 1e19 FLOPs 的算力预算下,数据改进带来的效率提升是模型结构改进的 3.24 倍(数据 12 倍,模型 3.7 倍)。两者的收益基本相互独立、可以简单相加,88% 的效果差异都能用"数据 + 模型"的线性叠加解释。数据侧的变化,是从 2019 年只有约 90 亿 token 的 OpenWebText,走到今天用全网抓取加复杂过滤(比如训一个分类器来预测哪些数据真能提升效果)的 UltraFineWeb。
🦐点评:如果这个结论成立,过去几年模型进步的大头来自数据工程而不是架构聪明,那"我们有独家算法"的说法就要打折扣——真正稀缺的是数据的清洗、过滤和配比能力,以及能合法拿到的高质量语料。对基金,这把注意力从"又一个新架构"转向两类标的:掌握独家数据的公司,和做数据管线(抓取、去重、质量分类、配比)的卖铲人。反过来也是个风险提示:纯靠模型结构创新讲故事的团队,可能高估了自己那部分的贡献。
SpaceXAI 的 Roman Ugarte 复盘了 Grok Bot 的速度:一个小而独立的团队,从第一行代码到能用的内部产品只花了四周,再过三周就公开发布,前后七周。关键决定是从零新建,而不是把它塞进 Cursor;团队亲自给最早的近 300 个用户做了上手。Roman 之前在 Cursor 管增长,把公司从 15 人带到 1000 多人、直到被 SpaceX 收购。
🦐点评:这条最值钱的信息是人才流向:Cursor 的增长负责人被 SpaceX 收编去做 Grok Bot,说明顶尖 AI 产品人正在从上一代赢家往新平台聚集,谁能挖到这批人本身就是先行信号。方法上有个反复出现的规律——赢家都选择从零新建、而不是在老产品上加功能,因为 AI 原生产品的形态和老产品冲突。对看早期的基金,七周做出爆款说明这个阶段的胜负更多取决于团队密度和判断、而不是时间或资金,估值逻辑要相应调整:值钱的是这支队伍,不是这行代码。
Ed Zitron 抓住了这一轮"AGI 已经到来"宣言的时间点。英伟达 CEO 黄仁勋宣称 AGI 已至,OpenAI 的 GPT-6 Astra 发布被 Crusoe CEO 称为"AGI 的诞生地"(指 Abilene 数据中心);但据知情人,为 Oracle 建、租给 OpenAI 的 Stargate Abilene 八栋楼里最多只有四栋在运转,规划的 40 万块 Blackwell 里也只装了一半。同时 TIME 引用 OpenAI 研究负责人 Mark Chen 说"已经走了通往 AGI 八成的路",Brockman 说进入了"AGI 时代"。作者把这些和 OpenAI、Anthropic 急着上市联系起来,并点名 Broadcom 背着巨额债务给两家造芯片。
🦐点评:把 Zitron 的刻薄语气去掉,剩下一个对 LP 有用的问题:为什么"AGI 到了"的口号密集出现在两家实验室冲刺上市的窗口?宣言不需要成本,但能撑估值。真正该盯的不是口号,而是他指出的实物缺口(数据中心半空、GPU 装了一半),以及英伟达-Oracle-Broadcom 之间互相买单、互相背债的连环结构——一旦其中一环的需求证伪,风险会顺着这条链集中爆发。这不是要不要信 AGI 的问题,而是提醒:这一轮的系统性风险藏在几家公司互为客户、互为债主的账本里。
📌 其他新闻
Gary Marcus 把七天内曝出的九则关于 OpenAI 的负面报道串在一起,指其存在系统性的行为不端,从安全承诺到公关操作逐条列举,是近期唱空 OpenAI 一方最集中的一次汇总。
微软本月一次性修补至少 974 个安全漏洞,是史上最大的单次补丁;微软承认 AI 正在加速漏洞发现,但安全专家警告很多机构连测试和排优先级这种更靠人力的活都还忙不过来。
Multiverse Computing 的论文提出,模型安全不该按整个话题来拒答,而要区分同一话题里该拒的那部分(比如政治里的操纵性劝说)和该答的那部分(选举事实);实验显示只看"拒答率"会掩盖模型把大量正常问题也一起拒掉的副作用。
OpenAI 更新图像模型,主打多轮编辑的一致性、更快的速度和对参考照片主体的保留,并在 API 里新增两个模型 ID;官方称 ChatGPT 和 API 上已累计生成超过 30 亿张图。
Ben Thompson 谈"把事情写下来"对人和 AI 同样重要——难点不在写,而在想清楚该写什么、为什么写,以及真正把事做完。
一位 MIT 研究者用 GPT-5.6 Sol 配合 Codex,让模型自主跑量子计算实验、分析结果并校准量子比特,是 AI 从写代码走向直接操作科研仪器的一个具体案例。
物理 AI 公司深度智控(DeepCtrls)完成数亿元 B+ 轮融资,宁德时代、沙特阿美等产业方战投加码,方向是为物理 AI 时代搭算力与能源底座——能源巨头下场押注 AI 基础设施这件事值得留意。
王云鹤创业后发布了第一个模型,把过去做多模型执行调度的经验用到了训练环节;国内技术大牛离职单干并快速出模型,是这波 AI 人才再分配的又一个例子。
🧠 AI 技术前沿
OpenAI 花了数百万美元算力去解一个只有 100 万美元奖金的难题:据称动用了一个"比 GPT-6 Astra 强得多"的内部模型,同时跑一万个并发 agent、连续 88 小时、生成了 1300 亿 output token。
查看推文 →
Terence Tao 评价 Alpöge 和 Buckmaster 的最新数学突破:"了不起的成果",但坦言其中有大量 AI 参与、作者是被外部事件逼着提前发布的,并称"原则上没有东西能阻止这套方法一路推广到 Navier–Stokes"。
查看推文 →
Anthropic 一方评价 OpenAI 新模型在抗提示注入上大致与 Gemini Flash、Opus 4.8 持平;他们会公开点名评测其它实验室来倒逼对方更重视安全,并称 Claude 两个月前已在实践中基本解决了提示注入。
查看推文 →
Cohere 开源了推理系统 Megakernel:把整个解码阶段的前向计算合进一个常驻 GPU 的持久 kernel、不再逐算子启动。单张 H100、BF16、batch 1 下达到 292 tok/s,比 vLLM 的 185 快 1.58 倍。
查看推文 →
ChatGPT Images 2.5 发布,在速度、保真度、精准编辑和多轮一致性四方面比 2.0 提升,并新增手绘 Sketch 输入;其中"参考照片主体保留更好"直指商业场景里产品图不能变形这个痛点。
查看推文 →
分享新论文《Unlocking Lossless Speedups in LLMs via Discrete Diffusion》,用离散扩散在不损失质量的前提下给大模型提速。
查看推文 →
🚀 创业动态
他用 AI agent 替自己搭了一个 AI 社区:社区跑在 Whop 上、完全用命令行控制,每个板块都是独立的 app,agent 能看到谁在用什么、在哪最活跃,从而把付费升级的入口放在最合适的位置。
查看推文 →
现在可以在 ChatGPT 和 Claude 里直接说"把我电脑里这个视频明早 9 点发到 TikTok、Reels 和 Shorts",通过 post bridge 让 agent 找你要文件、再定时发布;他当天还发了完整教程。
查看推文 →
他说过去四五个月有个变化:现在能在自己笔记本甚至手机上跑起真正好用的开源模型了。虽然云端前沿模型仍是多数场景的默认选择,但本地 AI 已经好到会改变你对 AI 用途的看法,并附了一节 38 分钟的入门课。
查看推文 →
一次性买断的软件授权也许才是未来——他直接抛出"月经常性收入(MRR)之死",质疑订阅制不一定是理所当然的模式。
查看推文 →
他加入了 X 新的创作者分成计划,判断此前靠转发和 AI 批量发帖的人会被永久挡在门外,这样奖金池分给更少的人、更奖励原创内容。
查看推文 →
💬 观点与洞察
按 2020 年设定的标准,"弱通用 AI"已经达成,而且比近期预测早了一年——他列了一串里程碑,最后一项是 Montezuma's Revenge 被 GPT-6 攻克。
查看推文 →
他打算买一台 Mac mini 让 Codex 全天候跑,把浏览器、iMessage、文件、桌面应用都签到同一台机器上;他说 Codex 太擅长用 Mac、尤其是他自己的 Mac,已经能想象让它 24 小时替自己干活。
查看推文 →
他感慨:一个本可以成为"AI 实验室和数学家合作典范"的突破,最后闹成了署名纠纷;而开放的实验室之间反而在互相共享研究、彼此借力。
查看推文 →
前端圈熟知的 Addy Osmani 加入的是 Claude Code;他在 Agent Harness、Skills、Agentic Engineering 等方向都写过有代表性的博客,那本《Beyond Vibe Coding》也值得一读。
查看推文 →
🔥 精选推荐
太空 AI 算力公司深空矩阵完成亿元级新一轮融资,鼎晖、麟阁等机构入局。公司 7 月发布"星环计划",要用通信、遥感、计算一体的方式在近地轨道建一张能看、能传、能算的智能卫星网络,第一阶段约 210 颗卫星、之后逐步提高算力节点比例。创始人张伟杰此前做了近十年商业航天投资、天使轮押中过星际荣耀等公司,现在自己下场创业。文章的判断是:商业航天正从"能不能造出来"的 1.0,进入比拼"整个系统能不能跑起来、有没有客户持续付钱"的 2.0,而深空矩阵选的是自己定义系统、再组织中国成熟的火箭/卫星/芯片/能源产能来做的路子。
🦐点评:值得记的是创始人的身份转换——一个投了十年商业航天的投资人自己下场,等于用真金白银投票说"这个阶段光靠单点技术不够,得有人来当那个把整条产业链攒成一支球队的组织者"。这和 SpaceX 难以复制的地方一致:难的不是某一颗卫星或某一枚火箭,而是把运力、制造、网络、芯片、运营组织成一个能赚钱的系统。对基金,太空 AI 算力是个既看技术又看产业组织能力的领域,能拿到鼎晖这类机构和能源产业方支持、又懂怎么攒盘子的团队是稀缺的一类;反面风险是卫星星座极重资产、回报周期长,得盯着商业订单是不是真的先跑起来了。
晚点这篇讲的是"AI 和机器人正在进家,家却还没准备好"。它以沈亚楠做的一栋健康、舒适、智能住宅切入(一周不开窗仍觉空气新鲜、恒温、无噪音、语音控制全屋),点出他给这套系统排的关键词顺序是健康、舒适,智能排在最后。文章的观察是,AI 越来越多渗进家庭硬件(会看猫脸的喂食器、监测睡眠的床垫、实时监测的空气净化器),但真正决定体验的不是某个单品的智能,而是整栋房子作为一个系统是否让人"舒服"。
🦐点评:这篇给智能家居赛道降了温。过去十年大家在堆单品智能(更聪明的音箱、扫地机、摄像头),但用户真正买账的是"住着舒服"这种整体感受,而这需要把暖通、水、空气、噪音、控制统一设计,单品堆不出来。对看消费和硬件的基金,机会可能不在又一个更聪明的单品,而在能把整套居住体验作为系统交付的玩家——门槛更高,也更难被单品公司蚕食。反过来这也解释了为什么智能家居喊了这么多年、渗透率还是上不去:碎片化的单品之间互不协同,用户装了一堆反而更累。
做线下社交的公司 222 拿到了 1010 万美元 A 轮(融资发生在 2025 年 12 月,YC 2023 冬季批次)。它的产品刻意去掉了社交软件里的浏览主页、私信、左右滑动,改成根据一份约 100 题的问卷,直接邀请用户去参加附近的群体活动——先安排好吃什么、去哪、和谁同桌,用户只需决定"去不去"。部分晚间活动分两段,先和一小组人吃饭、一小时后再去见当晚其他组的人,事后再反馈想不想继续见。这条线索来自 Greg Isenberg 播客里讲的"AI 带来的九种创业机会"之一:帮人重新见到彼此。
🦐点评:这个产品反直觉的地方在于,它把 AI 藏在后台做匹配和推荐,前台反而做减法——把"自己刷、自己聊、自己约"的活儿全替用户干掉,只留一个决定。对看社交的基金,这提供了一个和交友软件相反的下注方向:不是让用户在照片里挑对的人,而是先把人凑到一张桌上再说。但文章自己也点破了没被验证的部分——它没有公开的匹配准确率,也没证据说明付费参加活动能稳定变成长期关系,收入能不能持续是最大的问号。这类"重新把人约到线下"的公司值得跟踪,但现在还不到能判断商业模式成立的时候。
字节 8 月 25 日发布了独立的办公 agent 产品"豆包工作电脑版",QuestMobile 数据显示今年 7 月 AI 办公赛道月活已达 1.02 亿。它的核心是把原本藏在电脑助手里的工作能力单独拎出来,用本地电脑加云电脑结合,让任务能跨设备连续跑——电脑前发起、离开后用手机看进度追加要求、再回电脑接着处理。文章演示的场景是每天定时收集中外科技资讯、用 Skill 固定筛选规则、去重后写进飞书多维表格,再接 Seedance 生成视频,强调重点不是把功能堆到一个客户端,而是让前一步的结果能成为下一步的输入。
🦐点评:字节这步棋的意思很清楚:办公 agent 的竞争正从"单点能力"(搜资料、写文档、做 PPT)转向"能不能把一整天重复的活连续接管、并把个人经验沉淀成组织能复用的东西"。真正值得盯的是 Skill 这个设计——把个人的筛选判断固定成可复用的流程、再写进飞书,等于在悄悄搭一套团队级的知识资产。对基金这是个不太妙的信号:字节、飞书这类既有入口又有数据的大厂正从两头夹击独立办公 agent 创业公司,留给创业者的空间在被压缩;能守住的可能只有大厂不愿碰的垂直场景,或者大厂数据进不去的领域。
📌 其他值得看
海外独角兽这篇以"两万亿美元的 Anthropic 值不值得买"为题,讨论 Anthropic 当前估值下该怎么定价、买点在哪,是近期少见的正面掂量 Anthropic 估值的中文长文。
DeepSeek 宣布大幅降价,进一步压低 API 调用成本——在国内模型价格战里又踩了一脚油门,对下游应用是利好,对同价位竞品是压力。
DeepSeek 发布 v4.1 Flash,主打速度,据作者体验推理很快,延续了走"够用、便宜、快"路线的打法。
作者认真建议 WorkBuddy 早点收购 Plaud:Plaud 已错过和飞书合作进企业场景的窗口(被安克拿走),而大厂把录音硬件当入口贴钱卖(飞书录音豆、钉钉录音卡都送会员或免费转写),定价更高、还要另收转写年费的 Plaud 几乎没有还手之力。 <!-- ai-daily:complete -->