Meta 表示其新的人工智能模型已准备好在编码领域展开竞争
Meta 于 7 月 9 日发布第二代自研代码大模型 Muse Spark 1.1，面向美国开发者开放全新的 Meta Model API 预览，并附带 20 美元免费额度，以加速其在 AI 编码和开发者工具赛道上的追赶。
标签： AI
Anthropic、OpenAI 和 SpaceX 规模超过过去 25 年的科技退出规模
根据最新风险投资报告，SpaceX、Anthropic 和 OpenAI 三家公司即将进行的 IPO 合计估值将超过 4 万亿美元，这一数字超过了自 2000 年以来所有美国风险投资支持公司的退出价值总和。
Anthropic 的克劳德新功能正在悄悄向你推销 AI
Anthropic 在 Claude 中推出了名为“Reflect”的内置仪表盘，追踪用户的 AI 使用习惯和数据。这个功能表面上帮助用户反思 AI 使用方式，实际上通过数据可视化，潜移默化地强化用户对 Claude 的依赖，并引导用户更深入地集成其产品。
AWS GraphRAG 部署将药物研究周期缩短 87%
AWS 通过部署 GraphRAG（图增强检索生成）技术，将药物研发中的文献检索与分析周期缩短 87%。这一实际案例表明，RAG 技术的结构性升级（从向量检索到图检索）正在加速生物医药等长文档、关系密集领域的 AI 应用落地。
Ollama 开发者数达890万，B轮融资由Theory领投
Ollama 完成由 Theory 领投的 6500 万美元 B 轮融资，目前拥有 890 万开发者用户，每周新增近 100 万。它让开发者可以在本地或云端一键运行开源大模型，正在成为 AI 推理与本地化部署的关键基础设施。
Meta 发布 Muse Spark 1.1 模型
2026年7月9日，Meta 发布了 Muse Spark 1.1，一个以低定价面向开发者与用户的强智能体与编程模型，即日起可通过 Meta Model API 和 Meta AI 使用。
TeXada：基于MiniCPM的本地数学Agent发布
面壁智能OpenBMB社区开发者发布了一款名为TeXada的本地数学Agent，基于MiniCPM5-1B和MiniCPM-V 4.6模型，能在不联网的情况下将自然语言、手写公式或图片转换为可编辑的LaTeX代码，并支持公式补全和错误修复。
消息称特斯拉三代擎天柱人形机器人初步定型，马斯克放话达不成产能目标就开掉整个采购团队
特斯拉第三代 Optimus 人形机器人（Gen 3）已完成设计定型并进入量产准备阶段，向下游供应商下达了明确的零部件采购指引：要求 9 月周产能达到 1000 台，年底爬升至 2000-2500 台。同时，马斯克在内部会议上放狠话——若年底前产能目标未能兑现，将直接解雇整个 Optimus 采购团队。此举被…
向 Copilot 询问存储库概述
GitHub Copilot 现在可以为初次访问的陌生仓库自动生成上层概述，包含仓库用途、技术栈和贡献指南，甚至能在仓库缺少 README 时自动补写一份。
GitHub 代码质量的组织级目标
GitHub 为代码质量工具 Code Quality 增加了组织级的目标配置能力，允许组织管理员按仓库属性（如可见性、Fork 状态）或自定义属性，仅对特定仓库启用或禁用该功能。这意味着企业级用户获得了更细粒度的控制权，不再需要全组织一刀切。