Meta 发布 Muse Wonder 前沿模型，Google DeepMind 用 AI 解决 9 个未解 Erdős 问题

要点速览

1. Meta 发布新前沿模型系列 Muse Wonder，主打个人与专业 agentic 工作的 SOTA 表现，已上线 Vercel AI Gateway。
2. Google DeepMind 团队用 AI 解决了 9 个未解的 Erdős 问题，部分悬置 56 年，另证明 44 个此前未解的整数序列猜想。
3. Perplexity Projects 将文件系统构建为面向 agent 的 Git forge，每个 agent 在独立沙盒中工作并提交到共享仓库。
4. 马斯克转发 SpaceXSI 统一 X Premium + Grok + Cursor 订阅计划的法律条款，涵盖社交网络、前沿智能、开发 IDE 和银行。
5. 马斯克转发 Grok Bot 记忆转移功能，可将 Claude 或 ChatGPT 了解的用户信息迁移过来，所有条目需逐条共同审核。
6. 马斯克转发 Robotaxi 服务更新，运营时间现为早 6 点至晚 11 点，等待时间缩短，Grok @bot 已在 Cybercab 中可用。
7. Garry Tan 称未来 18 个月是递归自我改进的“Kitty Hawk 时刻”，判断依据将是评测结果。

一、AI 模型与基础设施

1. Meta 发布新前沿模型系列 Muse Wonder，主打个人与专业 agentic 工作的 SOTA 表现。该模型已上线 Vercel AI Gateway，可用 fx --model meta/muse-wonder-1.0 调用，被定位为面向前沿编程、长时运行 agent 和高级计算机使用的大型模型。多位开发者反馈其表现极强，难以找到它做不到的任务，即使其他顶级模型失败时也能完成，并称“Meta 回来了”。1 2 3 4 5 该模型被介绍为 MSL 一年多研究和基础设施工作的成果，自 4 月发布 muse spark 后持续扩大预训练和 RL 规模，现已达到前沿水平。6 7
2. Google DeepMind 团队用 AI 解决了 9 个未解的 Erdős 问题，其中部分问题已悬置 56 年，另证明 44 个此前未解的整数序列猜想。研究者构建的 agent 在 Lean 中生成证明，每步须通过形式化检查器，失败时模型获得反馈并重试。原系统结合多种复杂搜索机制，但随后测试的简化方案——LLM 反复生成证明并用 Lean 检查——同样解决了全部 9 个 Erdős 问题；不过这不意味着复杂系统多余，它在部分特别困难问题上表现更好。1
3. Perplexity Projects 的文件系统被构建为面向 agent 的 Git forge：每个 agent 在独立沙盒中工作，并提交到共享仓库，供人和其他 agent 跨会话在其工作基础上继续构建。每个 Perplexity Project 都是 Git 仓库，因无需人工审批而省去 GitHub 的臃肿；每个 agent 获得短生命周期沙盒并提交到 S3 上的共享仓库，提交冲突率低于 2%。agent 用普通 ls 和 grep 搜索，在金融文档分析的答案准确率上以 63% 对 37% 胜过语义搜索。1 2

二、马斯克生态与产品更新

1. 马斯克转发 SpaceXSI 正式公布统一 X Premium + Grok + Cursor 订阅计划的法律条款，涵盖社交网络、前沿智能、开发 IDE 和银行，称“X the everything app”正在发生；另一条转发称已将 Grok、Cursor 和 X Premium 的计划统一，推出 The X Subscription。1 2
2. 马斯克转发 Grok Bot 记忆转移功能：该功能可将 Claude 或 ChatGPT 了解的用户信息迁移过来，方式为向旧聊天粘贴一条提示并发送回答，或导入完整 ChatGPT/Claude 数据导出；所有条目需逐条共同审核，只有保留的才保存，并标注来源和时间，其他 AI 的猜测不会成为事实，已保存内容除非用户同意否则不被覆盖。1 多条用户反馈称 Grok Bot 可替代搜索、Hermes 自动化和 Cursor 云代理，能审 PR、合并代码，连接器最多，VM 接入 tailscale 并可经 ssh 访问所有机器，能在终端启动 Claude Code 或 Codex 代理、按需创建其他 bot。2 3 4 5 6 7 8 9 10 11
3. 马斯克引用 Robotaxi 服务更新称“Robotaxi improvements”，被引用内容列出：运营时间现为早 6 点至晚 11 点；因供给增加和调度算法改进，等待时间缩短；行程结束时后备箱若被使用会自动打开；Grok @bot 现已在 Cybercab 中可用。1
4. 马斯克转发 Falcon 9 从加州发射 27 颗 Starlink 卫星的消息，并转发确认 27 颗 Starlink 卫星部署完成。1 2 3 另一条转发称 Falcon 9 将 Dragon 发射至空间站，Dragon 定于美东时间当天早上 6:33 发射，为 Expedition 75 乘组运送超过 6300 磅科学物资、补给和卷式太阳能阵列。4 5

三、创业、投资与行业观点

1. Garry Tan 称未来 18 个月是递归自我改进（RSI）的“Kitty Hawk 时刻”，判断依据将是评测结果；其引用的 DeepRSI 宣称是衡量 RSI 的新行业标准，任务基于进行中的专有研究，要求智能体在 ML 任务上连续工作 48 小时，而既有基准多为贡献者驱动、约 12 小时的短周期任务。1 他认为创业者应专注盈利、以最大化的智能体循环运营公司，不必再靠卖股权融资：每年 1000 万美元利润再投资相当于一轮无稀释的年度 A 轮。2 3
2. Aravind Srinivas 称，有单人公司每年在 Perplexity 上花费超过 100 万美元，该创业者通过为他人自动化新闻简报年入 300 万美元。1 作者称 Computer 能根据航拍照片对城市土地用途分类：在 Phoenix，它用 Perplexity 的 Decider API 分析了 203,883 块 USDA 公开影像瓦片，对照 OpenStreetMap 标注数据达到 98.8% 准确率，API 成本为 9.63 美元。2
3. Yohei 转发并评论：首个有真实人类参与者参与的自主 AI 研究，祝贺 ExScienceAI 的同行评审论文登上 Wiley《Advanced Science》封面。数据：总运行时间约 17 小时，涉及 50+ 个 agent，消耗 3250 万 token，编写约 7696 行代码，边际算力成本约 114 美元（±30），人力成本 4500 美元（288 名参与者）。论文题为《Closing the Empirical Loop: Autonomous AI Agents Conduct End-to-end Research With Human Participants》。1
4. Brian Chesky 称 Whitney Wolfe Herd 是其见过最有才华的创始人之一，认为她把 Bumble 从零做起、带上市，并在公司陷入困境时回归执掌，展现了真正的韧性。他对 Bumble 持看多态度，理由是 @GuptaRK22 和 John Hegeman 是优秀运营者，且该品类需要用 AI 重新发明。被引用推文（Ithaca 方面）宣布已达成收购 Bumble 的协议，称过去六个月考察了数百家公司，寻找会随 AI 进步而更有价值的企业，Bumble 在其中脱颖而出。1