爱窝啦 AI 日报

今日摘要

OpenAI 发布 722 篇数学证明、可灵筹备十亿美元 IPO,Haiku 5.5 成本降低四分之三。
从形式化推理到图像生成再到小模型降价,厂商都在压低门槛抢占应用场景。
今天优先试 Haiku 5.5 算成本,再看 cmux 和 Octop 能否替换现有工具链。

🔥 今日焦点 TOP 10

1. OpenAI 集中发布 722 篇 AI 数学成果

数学推理成果大批公开。 OpenAI 集中发布 722 篇 AI 数学成果 显示 OpenAI 一次发布 722 篇数学论文。涉及准黎曼猜想、4D 挂谷等前沿问题。项目在 GitHub 获得快速关注。关注 AI 形式化证明的研究者可从中挖掘数据和新思路。

2. Grok bot 接入多家模型 API

订阅用户能调用多个 AI 工具。 歸藏在即刻动态中介绍，马斯克宣布 Grok bot 会根据任务选用最佳模型 。包括 Opus 5.5、Midjourney、Suno 等 API。部分任务已由 Opus 5.5 驱动。Midjourney 和 Suno 能力尚未上线。用户暂时无法手动切换模型。

3. 可灵筹备香港 IPO 最早 2027 年上市

视频生成公司启动上市流程。 据 36氪援引彭博报道， 可灵已选定中金、高盛和瑞银筹备 IPO 。目标最早 2027 年上市，可能募资至少 10 亿美元。2026 年二季度可灵收入超过 8.5 亿元，同比增长超过 200%。Adobe Firefly 和 Runway 已把可灵接入其创作流程。

4. 腾讯开源本地多智能体平台 Octop

团队级 AI 助理可私有部署。 Gorden Sun 在推文中介绍， Octop 支持微信、飞书、钉钉等聊天软件 🔔。具备多专家协作、命令行和浏览器自动化🤖能力。对话记录和知识库🔒完全保存在本地设备。适合对隐私要求高且需要自动化的场景。

5. Chrome 155 开始支持 JPEG XL 解码

浏览器加入新图片格式。 官方博客宣布 Chrome 155 提供 JPEG XL 解码。相对 JPEG 可节省约 30%-50% 体积。支持无损压缩、HDR 和现有 JPEG 的无损转码。实现采用纯 Rust 解码器 jxl-rs。团队称使用模糊测试和 AI 代码审查后，截至发布尚未发现内存安全漏洞🔒。

6. Google 发布 7.4 亿参数多模态嵌入模型

统一嵌入空间支持五种模态。 官方博客介绍 EmbeddingGemma 2 把文本、代码、图像、音频和视频映射到统一空间。总参数 7.4 亿，可按需加载模块。支持 8K token 上下文，最多约 5.5 分钟音频、29 张图像或 58 帧视频。在 Pixel 11 Pro 量化配置中，纯文本权重活跃内存可低至约 191 MB。

7. 史记知识图谱抽取 1.4 万实体

古籍被做成可搜索的关系网📖。 AI探索指南介绍， 史记知识图谱抽取 1.4 万实体 。包括 1.4 万+ 实体、3200+ 历史事件、7000+ 事件关系。点击人物即可沿人物 → 事件 → 地点 → 时间 → 原文查看。项目还提供"史记地铁图"🚇，把每篇史记画成线路。

8. 向阳乔木用 Prompt 重写后台文案

一条 Prompt 让设置菜单变易懂📝。 向阳乔木在推文中分享 他用"你是产品经理 + 苹果文案大师"开头的 Prompt。要求按《Don’t Make Me Think》原则重写后台设置。名称 2-4 字，描述不超 20 字。测试效果非常好。适合需要快速优化产品界面文案的团队。

9. manaflow-ai/cmux 获日榜 44 新增 Stars

macOS 终端加入 AI 编码代理通知🔔。 cmux 项目 在 GitHub 日榜中获得当天 44 新增 Stars。总计 27837 Stars。基于 Ghostty 构建，具备垂直标签页🗂和 AI 编码代理通知功能。专为多任务处理、组织管理和可编程性设计。适合需要在多个终端会话间快速切换的 macOS 开发者。

10. Opus 5.5 引发社区迁移讨论

用户用反话调侃模型服务。 LINUX DO 用户转发 Reddit 帖子称" Opus 5.5 很烂，千万别迁移到 Claude "。实际是反话调侃。原帖表达对 Codex 的讽刺态度。把 OpenAI 相关人物夸张描述为"最诚实、最伟大"。这类帖子反映用户对不同模型服务的真实体验和情绪。

◉ 社媒精选

GPT-6 推送智能界面功能

回答可以是能点击调节的界面📊。 宝玉在推文中介绍 OpenAI 开始在 ChatGPT 推送 GPT-6。主打 Intelligent UI。Plus、Pro、Business、Enterprise 用户今天可用。免费版和 Go 版明天陆续开放。对比类问题并排摆，讲原理配一张能拖动参数的示意图。官方举例是周日烤羊腿🛒，人数从 5 改成 8，羊肉土豆分量跟着变。

Claude Haiku 5.5 成本降低 75%

Anthropic 发布最便宜小模型💰。 官方推文宣布 Claude Haiku 5.5 平均运行成本比 Haiku 4.5 低约 75%。这是 Anthropic 迄今最便宜、最快、能力最强的小模型。适合需要大批量调用、对成本敏感的开发者。

Google SynthID Detector 向所有人开放

AI 内容检测器公开使用🌐。 Google DeepMind 宣布 SynthID Detector 现在可供所有人使用。能检测内容是否由 Google AI 或合作伙伴工具生成。合作方包括 OpenAI、NVIDIA、Kakao。苹果🍎即将加入。用户可以在 synthid.com 上试用。

😄 AI趣闻

ChatGPT 开始当场画界面了

Sam Altman 发推说 ChatGPT 现在能给你生成自定义 UI 了，OpenAI 把这功能叫"Intelligent UI"， 演示视频里直接根据问题当场画出交互界面 。以后问个天气可能不是给你一段话，而是给你画个实时温度计；问个菜谱可能直接给你摆出带定时器的可视化步骤面板。这下连前端都不用写了，直接跟 AI 说"给我来个界面"。

❓ 相关问题

Grok 会员订阅后，能直接用上 Opus 5.5 和 Midjourney 吗？

不是订了就全能用，得看功能实际上线。 今天的消息 说 Grokbot 会调用 Opus 5.5、Midjourney 和 Suno，但 Midjourney 和 Suno 还没上线，Opus 5.5 也不能主动选。先试试现有任务能不能自动调度到更强模型，别指望订阅立刻解锁所有能力。已有账号要续费，可看 爱窝啦·AI账号店的 Grok 续费 。