今日导读
Grok Imagine 官方账号宣布，图像和视频创作已在 Grok 里上线，原文是「Just open Grok and start creating」。约一分钟后，Grok 官方账号引用该帖，称要把更多 SpaceXSI 产品收进同一套 Grok 体验。两则官方帖都没有写价格、套餐或地区，也没有说明原 Imagine 独立入口如何处置。同期，Anthropic 官方开发者账号宣布 Claude Code 的 Projects 更新：协调器会更主动地在项目聊天里答疑并汇报并行线程状态，/btw 与 /fork 也可在项目里使用；Projects 目前是 Pro 和 Max 的公开测试。Google Research 则介绍 Antigravity 的 /teamwork 在数学形式化、化学与系统工程上的结果，并称外部研究者和开发者可在 Antigravity 使用这些工具，同时开放 1 万名学术研究者申请最高用量档六个月免费。今日关键词：Grok Imagine 并入对话、Claude Code Projects、Antigravity /teamwork。
🤖 AI 热点
1. Grok Imagine 的图像和视频创作并入 Grok
评级：高 · 出处：Grok Imagine 官方账号 / Grok 官方账号
官方账号 @imagine 发帖时间为 18:33 UTC（上海时间 11 月 15 日 02:33）。全文是：「Image and video creation now live in Grok. Just open Grok and start creating。」约一分钟后（18:34 UTC），@grok 引用该帖称：正在把更多 @spacexai（显示名为 SpaceX Super Intelligence）产品收进同一套 Grok 体验，让创作、构建和办事集中到一个地方。两则官方帖都没有写价格、可用套餐、可用地区，也没有说明覆盖哪些应用和设备，以及此前独立的 Imagine 界面会否保留。这些条件本次不以官网产品页的既有介绍来补写。关于 Grok Imagine 视频团队裁员等说法，来自媒体报道，两则官方帖均未提及，须标为媒体口径。这是产品入口整合，不是新的基础模型或 Imagine 模型版本发布。
2. Claude Code 的 Projects 协调器更主动，/btw 与 /fork 可在项目内使用
评级：高 · 出处：Anthropic 官方开发者账号 ClaudeDevs
官方主帖时间为 22:51 UTC（上海时间 11 月 14 日 06:51）。官方称，在一个项目里，Claude 会跨并行线程协调任务；协调器现在更主动，会在项目聊天里回答问题，并汇报正在运行的线程状态，不必逐个查看。官方后续帖说明：/btw 会给临时问题单独开线程，避免冲掉当前任务上下文；/fork 则从当前线程分出一条新线程，方便尝试另一种做法；二者现在也可在 Projects 里使用。官方还称项目设置和本地文件夹访问更简单，覆盖 Web 与桌面，最新移动应用也采用新设计。Projects 目前是 Pro 和 Max 的公开测试；还没有的人可以加入等候名单。这是 Claude Code 的产品功能更新，不是新的 Claude 模型版本。
3. Google 介绍 Antigravity /teamwork 的科研与工程结果，并向外部开放工具
评级：高 · 出处：Google Research 官方博客 / IT之家
官方博文标注日期为 11 月 13 日。官方称，过去数周，谷歌团队与学术合作者使用 Gemini 4 Argon、Carbon、Hydrogen 以及 Antigravity 的 /teamwork 等多智能体工作流，在信息论、形式化验证、分子结构和内核优化等方面取得进展，并称正在把这些工具开放给外部研究者和开发者。几类结果需要分开记：库尔塔德–库马尔猜想（Courtade–Kumar conjecture）是谷歌与香港中文大学、南加州大学、卡内基梅隆大学研究者合作，在 /teamwork 的 Long Proof 模式（官方写实现为 Antigravity 中的 Stellar Colosseum）下完成了一般情形的证明，并在 Lean 4 中形式化，官方称产生约 5000 万行代码；这是人机协作，不是模型独自发表论文。韦伊猜想（Weil conjectures）则是对已有结果的形式化：官方称 /teamwork-LEAP 在约 2.88 万次子智能体调用中，自主生成约 180 万行 Lean，完成端到端、机器检验的形式化。官方还提到三维纳维–斯托克斯方程在光滑外力下有限时间爆破的近期证明形式化，以及其他若干形式化或算法结果。分子化学方面，官方称 30 个专业智能体配合物理信息光谱模拟器，在复杂分子基准上达到 95% 的 Top-1 精确匹配和 100% 的 Top-3。系统工程方面，官方称把 libgav1 从 C++ 重写成约 17 万行 Rust，并在广泛一致性测试中做到逐位一致，再经性能优化后在 x86_64 和 ARM 上比原先的 C++ 与手写汇编快 20%–30%。官方称外部科学家和开发者现在可在 Antigravity 使用 Gemini 4 模型以及 /teamwork、/boost 和 Deep Review，并已开放申请，向 1 万名学术研究者提供最高用量档六个月免费。官方还预告后续会把形式化证明模式等更多工作流放进 Antigravity，这只是预告，不是今天已经全部上线。
📦 开源动态
GitHub 热榜清晨快照：Agent 工作区与浏览器工具居前，新见 plannotator 与 LoopForge
出处：GitHub Trending（2026-11-15 约 06:10 CST 快照）
采集时点的 Today 日榜里，GoogleChrome/modern-web-guidance-src 仍居高位，当时单日约增 1,225 星；alibaba/open-code-review 约增 897 星，ChromeDevTools/chrome-devtools-mcp 约增 673 星。这三项近期已多次出现在热榜记录里，今天只记它们仍在榜。更醒目的新面孔包括 backnotprop/plannotator（约 412 星，定位为审视和引导编码智能体的工作区）、tradermonty/claude-trading-skills（约 556 星）、dream-num/univer（约 495 星）、JuliusBrussee/caveman（约 227 星）以及 Tencent/LoopForge（约 101 星，定位为自托管的编码智能体交付工作流）。这是单源快照，星数会变动，也不把上榜写成这些仓库今天才发布。
📈 行业趋势
研究报告称多款中国开源权重带有 Blackwell 初始化指纹
评级：中 · 出处：Unemployment Labs / TechCrunch
前 OpenAI 研究人员 Will DePue 领导的非营利机构 Unemployment Labs 发布报告，标注日期为 11 月 12 日；TechCrunch 报道时间为 10:40 AM PST（上海时间 11 月 14 日 02:40）。报告称，对已公开权重做取证分析，DeepSeek-V4-Flash、DeepSeek-V4-Pro、月之暗面 Kimi K3 与 K3.1-Pro、MiniMax-M3、蚂蚁集团 Ling-3.1-flash 六款模型的起始权重布局，与英伟达 Blackwell 芯片的并行线程数相符；其中 V4-Flash、MiniMax-M3 对应 B200/B300（148 个 SM），其余四款对应 GB200/GB300（152 个 SM）。作者称在实体 B300 和 GB200 上用未修改的 PyTorch，对 V4-Flash 和 Kimi K3 的保留权重做了复现。报告自己写明：这是对起始权重如何生成的指纹，支持但并不单独证明训练全程使用了 Blackwell；也无法说明芯片在哪里、如何获得，以及是否违反出口管制。报告还称，在可读取的权重里，阿里通义、智谱 GLM、腾讯、小米、阶跃星辰等最新模型仍显示 Hopper 痕迹，美团 LongCat-2.0 未检出英伟达指纹。这是第三方研究报告与媒体报道，不是上述公司或英伟达的官方确认，须标为研究机构/媒体口径。
✅ 行动建议
- 【产品试用】 打开 Grok 查看图像和视频创作是否已出现在对话里；套餐、地区和原 Imagine 入口以官方后续说明为准，两则官宣帖没有写这些条件。
- 【开发者体验】 Claude Code 的 Pro/Max 用户可在 Projects 里试协调器状态汇报，以及 /btw、/fork；尚未开放的按官方等候名单申请。
- 【科研工具】 关注 Antigravity 的 /teamwork、/boost 和 Deep Review；学术申请名额以官方入口为准。转述时把「新证明」和「对已有证明的形式化」分开，不要写成模型独自解决全部数学问题。
- 【开源观察】 若在跟编码智能体工作流，可看今日热榜上的 plannotator、chrome-devtools-mcp、open-code-review 和腾讯 LoopForge；这是星数快照，不代表这些仓库今天才发布。
- 【口径提醒】 Blackwell 指纹是第三方取证结论，报告本身也排除了位置和合规结论；Grok Imagine 裁员说是媒体口径；Grok Imagine 并入对话和 Claude Code Projects 都不是新的基础模型版本。