2026年7月12日 · 星期日

Ethan Mollick把电脑控制权交给Sol,连续五小时。

GPT-5.6 Sol通过Codex赢下《Slay the Spire 2》每日挑战

在Codex中获得整台电脑的控制权后,Sol针对随机化的每日挑战(意味着无法背答案)工作了五小时,一路做出复杂的连续博弈决策,并最终获胜。

《Deep Time》——建造一座城市,看它被遗忘,再把它挖掘出来。

Fable 5把一款游戏重塑为"未来考古"

仅被要求对一款既有游戏"做点了不起的事",Fable 5便创造出《Deep Time》:建造一座城市,看它被废弃、遗忘,再以未来考古学家的身份把它重新挖掘出来。

更新后的成本—能力对照图。

Raschka更新模型对照图,Grok 4.5落在帕累托前沿

Sebastian Raschka更新了模型对照,纳入Grok 4.5与Meta的Muse Spark 1.1。他指出,在计入harness细节后,Grok 4.5正处于帕累托前沿——性价比出色。

巴黎RAISE周期间,MiniMax高管登台。

MiniMax在巴黎:开放模型正走向中心

在巴黎AI周上,MiniMax全球业务总裁表示,开放模型不再是边缘话题,而正成为构建与扩展前沿AI的核心。

两个模型,一张纯噪声图,两种截然不同的回答。

让模型在噪声里找隐藏信息,Sol回答"我爱你"

面对一张1024×1024、并无真正隐藏信息的二进制噪声图,Fable 5编造出一条秘密指令,而GPT-5.6 Sol只回了一句"I love you"——一扇观察各家模型如何"脑补"的小窗口。

Muse Spark 1.1登顶CritPT图表。

Muse Spark 1.1在多项高信号评估中逼近Grok 4.5

分析师TeortaxesTex指出,Meta的Muse Spark 1.1在许多高信号评估上与Grok 4.5惊人接近,目前在CritPT上领先——以其价位而言性价比惊人。

● 竞赛 · 部署 GPT-5.6 与 Grok07 · 12
● 开源 · 研究 · 基础设施07 · 12
硬件

Groq为何合理:SRAM、网络与MoE解码瓶颈

Tim Dettmers认为,配合Vera Rubin来看,收购Groq便顺理成章:解码阶段的MoE层严重受制于带宽,而在强网络支持下,它们可以被分布到廉价且高速的SRAM设备上。

中国

收集中国AI公司CEO的AGI宣言

一份对智谱、月之暗面、阿里、DeepSeek等掌门人公开AGI表态的梳理——收集者打趣说,其中一份就藏在招聘启事里。

开源

硬件原生NVFP4强化学习方案开源

humansand团队开源了一套基于硬件原生NVFP4的稳定强化学习方案,训练由Miles主导。

框架

slime新增--release-train模式,服务Agentic RL

slime框架在Agentic RL训练中引入推理系统推送模式,进一步拓展了共置训练的效率极限。

GOOGLE

100+ Agent与开发者协作,让Gemma 4推理提速5倍

Google的Gemma团队与社区携手,把开放的Gemma 4模型推理速度提升了五倍。

KYUTAI

MuScriptor:迄今最强的开源多乐器转录模型

Kyutai Labs开源了MuScriptor,称其为目前最强的开源多乐器音乐转录模型。

具身

LingBot-Video:30B MoE视频模型,仅激活3B

基于MoE的视频基础模型LingBot-Video已登陆Hugging Face。它为具身智能而生,拥有300亿参数,但推理时仅激活30亿。

基准

FrontierFinance:最大、最难的金融Agent基准

一项新的开源基准用于评估AI Agent在金融任务上的表现,号称同类中规模最大、难度最高。

基准

APK Arena考验Agent能否真正操作手机

全新前沿基准APK Arena衡量AI Agent操作真实手机的能力,GPT-5.6已被拉来做了一次同台对比。

数据集

Netflix在Hugging Face发布视频数据集与模型

Netflix的视频AI团队在Hugging Face上公开了数据集与模型,为开放视频研究作出了值得关注的贡献。

● 众声 · 行业往何处去07 · 12
@SAMA

Altman:到目前为止,AI看起来在净创造就业

Sam Altman表示,与他自己的预期相反,AI迄今一直是就业的净创造者——而且这一趋势很可能延续。

@ARAVSRINIVAS

半年内Fable级模型便宜3-4倍

Arav Srinivas给出高于五成的概率:半年内一款Fable品质的模型价格下降3-4倍,一年内Opus-4.8级模型可在本地设备上运行。

@ARAVSRINIVAS

持久价值在于一套安全的多模型harness

Perplexity CEO认为,持久价值在于安全的编排与模型路由——即他所称的Perplexity Computer——而非任何单一模型。

@AMASAD

Replit二季度销售达成目标的178%

Replit CEO称二季度销售远超本已雄心勃勃的目标,营收团队规模逼近百人,客户涵盖政府、银行与高速成长的科技公司。

分析

OpenAI–Cerebras交易触发了对Groq的收购?

一种被广泛转发的解读:黄仁勋听闻OpenAI与Cerebras的算力交易后,迅速出手收购Groq作为回应。

算力

中国对NPU产能的静默积累

论点是这样的——每年再添数百万颗NPU,积少成多,到2028年中国有望产出大量算力。

市场

Burry:竞赛正转向推理成本

投资者Michael Burry转述硅谷议论,称AI竞赛的重心正从纯粹的模型质量转向推理效率与成本。

@YLECUN

音乐仍缺一个属于自己的"Whisper"

一则被转发的呼吁:需要一个通用开源工具,能像Whisper让语音转写变得稀松平常那样,把任何音乐转成乐谱。

@NATOLAMBERT

AI 2040大谈透明度,却略过开源

Nathan Lambert认可AI 2040报告对透明度的重视,却觉得奇怪:报告完全没有真正讨论开源。

● 建造者 · 工具 · 演示07 · 12
JETBRAINS

从一条模糊的CEO消息到可运行的服务

JetBrains把一条含糊的CEO便条喂给GPT-5.6,得到的是一个完整可运行的服务,而不是又一个演示。

RAMP

从口头规格到已上线的微服务

Ramp的一名工程师用GPT-5.6把口头需求直接变成了一个可工作的微服务。

MAGIC PATTERNS

GPT-5.6上线,token效率更高

GPT-5.6现已在Magic Patterns中可用,早期评估显示token效率更高、进步显著。

CLAUDE CODE

Claude Code桌面版新增内置浏览器

在桌面版Claude Code里,Claude现在能自己打开文档、设计稿或任意网站,读取并点击页面。

MANUS

Manus新增 /game-dev 技能

描述一款游戏,Manus便会帮你造出来——含可玩的玩法与设计。

@GDB

复杂推理与数据分析,选Sol

Greg Brockman建议开发者在重度推理与数据分析任务上使用Sol变体。

@GDB

健康智能是GPT-5.6的发力点

Brockman表示,团队一直在GPT-5.6的健康智能上下大力气改进。

演示

一上午做出的"人生成就生成器"

一位用户用GPT-5.6 Sol做了个好玩的小工具:上传照片、选一个成就,就能得到一张叠在滤镜艺术之上的游戏风成就卡。

博客

Agent + 世界建模研究综述

一篇即将发布、通俗易懂的博客梳理了Agent与世界建模的近期研究,对做Agentic RL的人很实用。

SIGGRAPH

实时视频模型的幕后揭秘

Runway的Characters团队将在SIGGRAPH展示他们如何构建用于逼真角色的实时视频模型。

CHATGPT

学习模式改用 @study 触发

ChatGPT的学习模式现通过@study触发,把模型推向导师风格,有研究认为这更有助于学习。

博客

AI 2040与"智能崇拜"

一位曾信奉硬起飞、如今在comma做硬件的作者认为,工程现实的琐碎繁杂戳破了奇点式的乐观。

● 一句话短讯07 · 12
研究

音乐转录升级——数据为王

自动音乐转录刚刚迎来一次重要升级,数据规模再一次成为决定性因素。

观点

后训练很强,但天花板由基座决定

TeortaxesTex称Sol是当下最强的后训练机器,但认为要抬高上限还需更大的基座模型。

札记

5.6在知识截止上比5.5更利落

GPT-5.6在部分知识截止上有明显改进,而同门的Gemini各版本看起来几乎一模一样。

设计

Sol的网页设计把评估搞崩了

开发者称GPT-5.6 Sol的网页设计太强,擅自发挥的创意直接"搞崩"了他们自家的评估集。

评测

GPT-5.6与Fable配合默契

一位用户发现GPT-5.6能处理多数Fable任务、额度更耐用,两者还能互相发现盲点。

PERPLEXITY

Grok 4.5向企业组织开放

Grok 4.5现已为Perplexity Enterprise组织启用。

基准

Grok 4.5在Perplexity Computer的WANDR登顶

测试显示Grok 4.5在Perplexity Computer的WANDR基准上得分最高,且价格具竞争力。

SEMIANALYSIS

vLLM Kimi架构下NVIDIA胜过AMD

在vLLM中的Kimi式架构上,SemiAnalysis称NVIDIA明显领先AMD。

REPLIT

Replit MCP接入Claude

把Replit的MCP连上Claude后,助手与Agent即可开箱协同。

REPLIT

造个Notion替代品,退掉Notion

一位用户用Replit Agent为团队重建了一个类Notion应用,随后取消了付费订阅。

ADOBE

Gemini Omni Flash进入Firefly

Adobe把Gemini Omni Flash模型引入Firefly Boards,用于协同创作。

职场

大厂岗位借AI更高产

尽管工作内容在变,有AI辅助的员工仍比AI出现前明显更高产。

工具

TypeAfter修正AI海报里的文字

一个开源小工具让你框选AI海报中不满意的文字,换成自己的字体。

REVE

Reve从模型转向产品

在密集发布模型数周后,Reve表示接下来一周将聚焦产品。

活动

本地AI峰会:为何本地、为何现在

本地AI峰会首场Panel上线,为端侧AI申辩。

札记

Muse Spark 1.1通过"Elon基准"

Meta的Muse Spark 1.1越过了Elon Musk设定的非正式基准线。

GPT LIVE

最好的英语老师——只要你肯开始

一位用户称GPT Live是极佳的口语老师,并感叹学习最难的从来是"开始"。

怪癖

ChatGPT模型执意查租约宠物条款

新版ChatGPT模型在回答无关问题时,反复坚持研究用户租约里的宠物政策。

短片

Hailuo《蝴蝶之外》重述庄周梦蝶

Hailuo AI首映了一部短片,在AI时代重新想象庄周之梦。

LUMA

一个香港的夏天,由Luma Skill生成

Luma AI用其Skill功能展示了一段30秒的黄昏街头场景,由静态图生成。

© 2026 FAV0 · AI Daily — 由值班编辑编排