今日速报摘要：OpenAI发布GPT-5.6「太阳系」全家桶，Codex正式并入ChatGPT；MiniMax获160亿港元投资，创始人承诺AGI前不领薪酬；Meta CTO罕见公开承认Llama 4战略失误；清华团队推出AI数学家，从想法推到定理；通用生物医学AI Agent登上Science。
GPT-5.6全家桶上线，Codex正式并入ChatGPT
7月9日，OpenAI正式全量发布GPT-5.6系列模型。这次不是单一模型升级，而是一个完整的「太阳系」体系：
- Sol：旗舰级推理模型，定位最强大脑，对标前沿推理任务
- Terra：均衡版，在能力与成本间取最优解
- Luna：轻量版，高并发低延迟，适合大规模部署
与此同时，OpenAI宣布Codex正式并入ChatGPT，不再作为独立产品运营。这意味着开发者可以在ChatGPT内直接调用代码能力，而不需要在多个产品间切换。
此外，OpenAI还同步发布了GPT-Live系列——新一代全双工语音模型。与传统「你说完我再说」的语音交互不同，GPT-Live可以边听边说，让AI对话更接近真人交流的节奏。
行业洞察：GPT-5.6的三档模型矩阵说明OpenAI正在从「一个模型打天下」转向精细化运营。Sol负责拉高天花板，Luna负责铺量落地，Terra卡在中间满足大多数场景。这和手机芯片的旗舰/中端/入门策略如出一辙。Codex并入ChatGPT则暗示：独立的代码助手产品可能正在失去独立存在的价值。
MiniMax获160亿港元投资，创始人承诺「AGI前不领薪酬」
MiniMax近日完成新一轮融资，获得来自长线基金及主权基金等共计160亿港元（约20亿美元）投资。这可能是2026年中国AI初创公司获得的最大单笔融资之一。
更引人注目的是，MiniMax创始人闫俊杰公开承诺：在公司实现AGI之前，他将不领取任何薪酬。这一表态在AI行业引发广泛讨论。
MiniMax近期在技术层面也动作频频。其最新发布的MiniMax-M3模型支持100万token上下文窗口，具备原生多模态能力，在Coding和长文本理解方面表现出色。
行业洞察：160亿港元的融资规模说明国际资本对中国AI公司的信心仍在。但MiniMax的估值和商业化进度一直是市场关注的焦点。闫俊杰「不领薪酬」的承诺，既是表态，也是一种压力——说明MiniMax距离真正的商业化回报还有相当距离。另外，MiniMax即将迎来解禁期，这180天的表现将决定市场对其长期价值的判断。
来源：36氪
Meta CTO罕见承认Llama 4战略失误
Meta CTO Andrew Bosworth近日公开承认，Meta在AI大模型竞争中出现战略失误：为了让Llama 3强行出头，团队「亲手废了自己的后路」，导致Llama 4在竞争中掉队。
与此同时，扎克伯格做出了一个破天荒的举动——在竞争对手的平台上为Meta的新模型打广告。这在科技行业极为罕见，通常CEO不会在对手地盘上宣传自家产品。
据36氪报道，Meta还推出了「白菜价」新模型，试图以价格优势挑战Grok 4.5等竞品。
行业洞察：Meta的开源策略一直是把双刃剑。Llama系列虽然赢得了开发者社区的好感，但在商业化和技术追赶方面始终落后于OpenAI和Google。CTO公开承认失误，某种程度上是Meta在重新校准战略方向——从「开源领袖」转向「务实竞争者」。至于在对手平台打广告，说明Meta已经放下身段，开始用最直接的方式争夺用户注意力。
来源：36氪
清华AI数学家：从想法推到定理，完成84页量子算法论文
清华大学AI团队近日发布了一款「AI数学家」系统，能够从最初的研究想法出发，自主推导到完整的数学定理，并参与完成了一篇84页的量子算法论文。
与传统的AI辅助计算工具不同，这个系统能够进行真正的数学推理——包括提出假设、构建证明路径、验证逻辑一致性，以及处理复杂的数学符号运算。
行业洞察：AI在数学推理领域的能力一直是衡量其「真正智能」的重要指标。如果说GPT-5.6代表的是工程层面的优化，清华AI数学家则代表了基础研究层面的突破。能够参与完成84页的量子算法论文，说明AI已经不只是「工具」，而是开始成为「合作者」。这对未来的科学研究范式可能产生深远影响。
来源：36氪
通用生物医学AI Agent登上Science
华人科学家黄柯鑫团队打造的通用生物医学AI Agent——Biomni，近日登上权威期刊Science。
与传统只能在特定场景工作的生物医学AI不同，Biomni构建了一个统一的生物医学动作空间，能够自主拆解任务、调用工具、规划流程。在遗传学、基因组学、药理学等多个领域，Biomni的表现接近人类专家，且用时更短。
行业洞察：Biomni的意义在于证明了「通用型AI Agent」在专业领域的可行性。之前的AI工具大多是「一个模型解决一个问题」，而Biomni展示了一种新的可能：一个Agent覆盖整个学科的研究流程。这可能预示着AI在科研领域的应用将从「辅助工具」升级为「协作伙伴」。
来源：Science
今日互动
今天的AI圈可以用「一天一个大新闻」来形容。从OpenAI的模型矩阵，到Meta的战略反思，再到清华的学术突破，每一条都值得深入讨论。
你觉得哪条新闻对普通用户影响最大？
- A. GPT-5.6全家桶——直接用得上
- B. Meta战略调整——开源生态可能变化
- C. 清华AI数学家——科研范式将被改变
- D. Biomni登Science——AI成为科研伙伴
欢迎在评论区分享你的看法。
发表回复