7月31日 AI创业晚报:模型、视频和 Agent 工具一起更新Chapters1×0:07开场0:19DeepSeek-V4-Flash正式版1:24MiniMax H32:21Seedance 2.5和即梦3:23OpenCode的增长数据4:24Agent harness成本实验5:32其他快讯0:009:450:07男主播本期在X上读取了四百零一个关注账号的七千三百七十条推文,其中五百一十三条落在时间窗内;公众号方面,五个账号共三十二篇文章在本期窗口内。0:19女主播DeepSeek-V4-Flash正式版API上线公测,先从这个今天下午刷屏的模型说起。0:25男主播机器之心文章写,正式版完成了一轮后训练,模型结构和尺寸与V4-Flash-preview保持一致。Terminal Bench 2.1得分是八十二点七,NL2Repo和DeepSWE分别是五十四点二和五十四点四。0:41女主播同一组成绩里,Cybergym是七十六点七,Toolathlon Verified是七十点三,Agent Last Exam和Automation Bench Public分别是二十五点二和二十五点一。0:51男主播文章还写到,V4-Flash正式版原生支持Responses API,并针对Codex做了优化;官方文档列出了这两个集成入口。DeepSeek-V4-Pro,以及App和网页端模型,目前保持不变。1:06女主播这次更新针对的是API,不是App和网页端换模型。文章给出的模型规模是二千八百四十亿参数,API版本名是DeepSeek-V4-Flash-0731。1:18男主播同一个模型、同一套接口,今天先把正式版和预览版的名字分开就行。1:24女主播MiniMax H3也在今天发布,还是视频模型,但这次发布里有开源计划。1:30男主播Founder Park文章写,H3是MiniMax首款开源的多模态生成模型,未来几天开放模型权重,开源协议和具体模型规格还没有公布。1:40女主播它统一理解文本、图像、视频和音频上下文,最高输出十五秒、二K分辨率、每秒二十四帧的视频,带原生双声道音频。二K分辨率价格是每秒零点八元。1:53男主播H3把文生视频、图生视频、主体参考、动作参考和视频编辑放进同一个全模态建模框架,文章引用Artificial Analysis榜单,H3的视频编辑能力排在全球第一。2:08女主播文章列出的场景包括广告电商、产品设计、动态UI、电影片头和动态海报;H3目前的限制也写得很清楚,多模态上下文理解、画面精细度和模型规模还要继续提升。2:21男主播字节的Seedance 2.5今天通过即梦AI上线,视频时长、编辑和参考素材都往生产流程靠了一步。2:30女主播量子位文章确认,Seedance 2.5可以三十秒原生直出,也提供最长三分钟的超长视频生成模式;视频局部替换、增加、删除和修改都能用文字指令完成。2:42男主播做AI图像视频和设计工具整理、运营公众号「歸藏的AI工具箱」的X用户@op7418贴出的内测信息里,最高三十秒、七百二十P,最多上传五十张图片。2:55女主播文章还提到绿幕和白模参考生成,能通过Maya和Blender插件调起;时间戳指令精度可以控制在一秒以内,参考素材最多五十个。3:07男主播量子位的测试案例包括三十秒营救短片、广告素材、游戏白模和带环境音的科幻片段,视频延长模式最长三分钟。3:17女主播这条和上一期的Seedance预告不是同一条信息,今天出现的是正式模型和即梦入口。3:23男主播OpenCode今天的文章标题很直接:一千三百万月活,接近六千万美元ARR。3:29女主播Founder Park整理的访谈数据里,OpenCode今年六月底月活约一千三百万,每天处理大约七万亿token;年初每天大约三千亿token。3:39男主播按文章分项口径,OpenCode Zen推理业务的年化收入约三千八百万到四千万美元,月度订阅用户约十六万人,对应年化收入约一千八百万美元。3:51女主播OpenCode在二零二五年六月发布,最初是开源终端编程Agent,现在支持多家模型和提供商;OpenCode Zen提供统一推理入口,企业控制面板还在定向部署阶段。4:02男主播文章还写到,六月数据折算的订阅收入约三千一百万到三千三百万美元,上周数据折算后接近三千八百万到四千万美元。4:12女主播企业控制面板包含模型提供商、权限、预算上限和速率限制,OpenCode把开源终端工具、统一推理和企业管理放在了同一条产品线上。4:24男主播今天还有一组直接算token的Agent harness对比实验,参与的是Claude Code、Hermes和Kimi Code。4:31女主播机器之心转述Composio团队的实验:三个harness都用Kimi K3,跑二十八个完全相同的任务,Kimi Code成功二十二个,Hermes成功二十一个,Claude Code成功二十个。4:43男主播成功数接近,token数差得很远。中位数用量分别约六点一万、六点七万和三十四万,最高差距约三十倍,Claude Code约是Kimi Code的六倍。4:54女主播按Kimi K3每百万输入token三美元的价格,三个harness平均每个任务成本约为零点二二美元、零点二八美元和两美元。5:03男主播耗时中位数则相反,Hermes最快,一百七十九秒;Kimi Code二百九十七秒;Claude Code三百四十八秒。5:12女主播文章引用日志分析说,差异主要出现在输入token:多轮交互会反复带入历史消息、工具调用、命令输出和文件内容。另一组二十二个企业任务、六个基础模型的实验里,替换harness后平均成本下降百分之四十一,token减少百分之三十八。5:32男主播快讯继续。5:33女主播OpenAI开源了codex-security CLI和TypeScript SDK,功能包括自动发现、验证和修复代码漏洞。5:42男主播36氪文章写,工具上线头三十天扫描超过一百二十万次提交,发现七百九十二个严重级别和一万零五百六十一个高危级别问题。5:53女主播GPT-5.6 Luna价格降到每百万输入token零点二美元、输出一美元二角;Terra是输入两美元、输出十二美元。Fast mode在Sol上最高提速两点五倍,价格是标准处理的两倍。6:08男主播Anthropic审查了十四万一千零六次网络安全评测运行,确认三起事故,涉及三家真实组织和六次运行;其中一次扫描了约九千个公网目标,另一次恶意PyPI包被十五个真实系统下载并运行。6:24女主播Thinking Machines发布Inkling-Small,总参数二千七百六十亿,激活参数一百二十亿;Humanity's Last Exam得分百分之三十一点六,Inkling是百分之二十九点七。6:35男主播Inkling-Small在SWE-bench Verified超过百分之八十,原版是百分之七十七点六;SimpleQA Verified则是百分之二十点九,对比Inkling的百分之四十三点九。6:48女主播腾讯混元研究Agent Hyra把一个困扰数学家五十多年的加法组合学开放问题推进到新的最好结果,研究团队整理出完整证明,并给出Lean 4形式化证明。7:00男主播同一条招聘信息面向AI for Science人才;混元介绍的Hyra运行约二十四小时找到论文核心思路,首批五十五道数学开放问题里,二十九道刷新了已知最好结果。7:12女主播上海交大和上海创智学院团队发布A²-Edit,支持任意物体类别和不同精度的粗掩码参考图编辑,训练数据UniEdit-500K包含五十万余组图像对,当前峰值显存约四十二GB。7:27男主播量子位转述中科大和上海人工智能实验室的实验:视觉预训练只需要约四分之一的文档token,就能取得高于纯文本预训练的科学推理增益。7:37女主播机器之心还报道了浙大、清华团队的INTACT,把世界模型从反复搜索动作,改成根据意图直接生成动作。7:46男主播北京大学团队发布AgentHOI,不使用人工HOI标注图,让大模型识别视频里谁在和什么对象做什么。7:54女主播另一个研究结果是,AI 3D七大模型同场测试,一个四B模型拿下八项第一;论文和测试详情收录在机器之心今天的文章里。8:04男主播量子位根据公开履历报道,蔡浩宇的领英身份从Anuttacon相关职位改为独立大模型与智能体开发者,Anuttacon旗下多个项目近期停止运营,团队成员陆续离开。8:17女主播36氪联合PureblueAI清蓝发布第二期二零二六消费品牌AI推荐力名册,内容覆盖品牌在AI推荐场景中的表现。8:26男主播硬氪文章写,海洋科技消费品公司蓝色涌现完成数千万人民币天使加轮融资,高瓴创投联合启明创投领投,产品把机器人技术做进电助力渔轮。8:37女主播Inkling-Small从预览版到正式版,Humanity's Last Exam从百分之二十九点六升到百分之三十一点六,SWE-bench Verified从百分之七十七点四升到百分之八十以上,Audio MC从百分之四十九点六升到百分之五十四点九。8:53男主播A²-Edit的用户研究有二十四名参与者,在与全部基线方法的两两比较里都得到更高偏好率;精细掩码换成粗掩码后,四项传统指标基本无损甚至提升。9:04女主播MiniMax H3的多模态理解管线会把大约十万token的素材压缩成约四千token表示,H3-Omni Transformer的端到端训练吞吐提升近百分之三十。9:15男主播Hyra介绍的其他结果还包括:用十五个参数完成十位数加法,较此前纪录减少百分之五十八点三;自研量子比特路由算法,比经典方案提效百分之四十四点四。9:28女主播今天白天的模型、视频工具、编码Agent和科研Agent更新,到这里先收束。9:34男主播晚报到这里,明早继续。