09月05日 AI 日报

新哥AI资讯 · 2026年9月5日

今日重点

采集窗口：9月4日06:00（含）至9月5日06:00（不含），北京时间。本轮重新导出13,976个地址库来源，实际检查5,076个适用入口并完成严格首发核验，最终保留11条普通资讯和5个GitHub推荐。

01 今日更新

Claude核验费马定理

Anthropic称Claude在11天内协同生成1300万行Lean代码，完成费马大定理首个端到端、计算机核验的形式化证明，最终使用2.95万个中间定理。

这项成果的关键不是模型给出一段自然语言证明，而是Lean能够逐步检查的形式化产物。官方披露Claude在11天内生成约1300万行中间代码、构造3.03万个中间定理，最终证明使用其中2.95万个。

来源：Anthropic · 首发 09-05 02:50（北京时间）
查看官方原文

Perplexity提速检索

Perplexity披露Ivy、Tulip和ROSE三层嵌入服务架构：HTTP网关做预处理，gRPC服务负责批处理，模型引擎复用LLM内核，以降低在线与批量向量检索的延迟和成本。

三层架构把请求处理、动态批处理和模型执行拆开：Ivy面向HTTP入口，Tulip负责gRPC与批量调度，ROSE复用大模型服务内核。这是一篇工程架构披露，价值在于说明向量检索如何承受在线与离线混合流量。

来源：Perplexity · 首发 09-05 05:17（北京时间）
查看官方原文

Lyria3.5上线

Google发布Lyria 3.5，提升人声表现、编曲层次和音质，支持选择流派、人声或纯音乐及曲目长度；现已覆盖Gemini应用与API、Flow Music、AI Studio和Google Vids。

Lyria 3.5同时进入面向消费者与开发者的入口，并允许指定风格、人声、纯音乐和时长。能力扩围意味着音乐生成更容易嵌入工作流，但商用时仍需核对平台条款与素材权利。

来源：Google · 首发 09-05 00:00（北京时间）
查看官方原文

HydraFusion开放预览

GitHub开放HydraFusion研究预览，可在执行时编排多供应商模型，先制定计划，再按任务起草、批评、修订或升级模型；官方离线评估称部分流程成本更低。

HydraFusion不是固定选择一个模型，而是在运行中按计划、起草、批评、修订和升级等角色组合不同供应商模型。当前仍是研究预览，官方离线评估中的质量与成本优势还需要在真实仓库中验证。

来源：GitHub · 首发 09-05 00:04（北京时间）
查看官方原文

Runway上线团队版

Runway推出面向2至9人的自助团队套餐，每席每月6900积分汇入共享池，配套1TB存储、最多100个项目、评论、Agent Connectors和共享技能。

团队版面向2至9席，把每席6900积分汇入共享池，并加入1TB存储、100个项目、评论与共享技能。它降低了小团队的协作门槛，但积分消耗仍取决于具体模型与生成规格。

来源：Runway · 首发 09-05 00:53（北京时间）
查看官方原文

Astra入驻Copilot

GitHub Copilot正式提供GPT-6 Astra，Pro+、Max、Business和Enterprise用户可在IDE、CLI、编码智能体、网页与移动端选择，企业管理员仍可按策略控制访问。

Astra覆盖IDE、CLI、编码智能体、网页和移动端，面向Pro+、Max、Business与Enterprise用户开放。企业管理员可继续通过策略控制访问，团队上线前仍应完成代码数据与权限评估。

来源：GitHub · 首发 09-05 02:59（北京时间）
查看官方原文

InstantStart开源

AWS开源HyperPod InstantStart控制平面，以同一后端支撑网页、REST和MCP入口，让智能体按依赖顺序执行集群创建、容量、训练、推理与存储操作，并保留人工决策点。

InstantStart用同一控制平面服务网页、REST和MCP入口，让智能体按依赖顺序处理集群、容量、训练、推理与存储操作。官方设计保留了人工决策点，适合把自然语言计划与确定性基础设施执行分离。

来源：AWS · 首发 09-05 00:12（北京时间）
查看官方原文

Intuit让智能体管灾备

Intuit披露EWOK Agent已在团队中运行8个月，可把自然语言故障转移请求转为受审计、受策略约束的确定性执行；其既有EWOK系统可将部分恢复从数小时缩至约20分钟。

Intuit把模型用于判断‘做什么’，把实际故障转移交给受审计和策略约束的确定性系统。该智能体已运行8个月；其既有EWOK基础系统可把部分恢复工作从数小时压缩到约20分钟。

来源：AWS · 首发 09-05 00:06（北京时间）
查看官方原文

工信部推AI创业计划

工信部发布2026至2028年AI中小企业创业支持计划，目标新培育科技和创新型中小企业超1万家、专精特新“小巨人”超2000家，并建设孵化器、服务平台和产业集群。

计划把企业培育、孵化器、公共服务平台和产业集群放进同一套2026至2028年目标，包含超1万家科技和创新型中小企业、超2000家专精特新‘小巨人’等量化指标，后续要看地方项目和资源如何兑现。

来源：工业和信息化部 · 首发 09-04 14:34（北京时间）
查看官方原文

重庆签约国产AI基地

重庆大渡口与沐曦、原力无限签约：沐曦拟分期建设万卡级国产物理AI算力基地，原力无限将落地具身机器人西南总部、数据采集和模型训练中心。

两项签约分别指向国产物理AI算力与具身智能产业链。当前披露的是拟分期建设和总部、数据采集、模型训练等落地安排，实际规模仍需以后续建设与投产信息为准。

来源：重庆市人民政府电子政务办公室 · 首发 09-04 10:09（北京时间）
查看官方原文

湖北首用大模型评标

湖北政府采购首次在公开招标中全程用大模型辅助专家评标；新版电子采购平台已支持文件检测、AI评标、风险预警和智能问答，截至7月底承接111个项目、完成78个。

湖北把文件检测、辅助评标、风险预警与智能问答接入新版电子采购平台，并首次在公开招标中全程辅助专家评审。截至7月底平台承接111个项目、完成78个；最终责任仍由评标专家承担。

来源：财政部国库司 · 首发 09-04 14:35（北京时间）
查看官方原文

02 今日5个开源项目

已重新读取线上9月1日至9月4日前4期已发布日报，按规范化owner/repo排除其中推荐过的20个仓库。以下项目均检查README和近期代码活动；Star为本轮Daily Trending观测值，会随时间变化。

1. Ponytail：约束智能体少写代码

为20种编码智能体提供可安装技能，优先调用原生能力、复用现有结构并删除不必要抽象，帮助抑制AI过度工程化；项目自带可复现实验，称可同时减少代码、Token、成本和耗时并保留安全约束。近期更新趋势榜展示后热度上升。

当日新增Star +1,683 · 累计 125,758 · 新上榜：否

来源：GitHub · 最近活动 09-04 20:35（北京时间）
查看仓库

2. SGLang：高性能模型服务框架

面向大语言、多模态和扩散模型的高性能推理与服务框架，覆盖前缀缓存、预填充与解码分离、推测解码、量化及多种并行方式，并支持NVIDIA、AMD、TPU和昇腾等硬件。近期持续完善分布式解码调度和DeepSeek-V4支持。

当日新增Star +664 · 累计 35,475 · 新上榜：是

来源：GitHub · 最近活动 09-05 05:26（北京时间）
查看仓库

3. Magnitude：本地智能体推理服务

为编码智能体提供本地、离线且免API密钥的模型推理服务，可检测机器硬件、推荐匹配模型并自动配置Pi、OpenCode、Codex、Claude Code等工具。近期修复图像请求体限制，改善OpenAI兼容接口。

当日新增Star +395 · 累计 2,411 · 新上榜：否

来源：GitHub · 最近活动 09-05 02:42（北京时间）
查看仓库

4. OpenCode：开源AI编码智能体

提供终端与桌面端AI编码体验，支持多模型、多平台安装和面向项目的交互式开发，适合希望自托管或自由切换模型的开发者。近期发布新版本并补充用量重置能力与多语言文档。

当日新增Star +314 · 累计 204,062 · 新上榜：是

来源：GitHub · 最近活动 09-05 02:47（北京时间）
查看仓库

5. Multica：人机协作开发看板

把人类与26种编码智能体放进同一自托管工作区，以任务看板分派工作、记录执行、报告阻塞并设置人工审查门禁，适合并行管理多种CLI智能体。近期发布0.4.40并改进MCP配置和定时任务可靠性。

当日新增Star +118 · 累计 48,888 · 新上榜：是

来源：GitHub · 最近活动 09-04 17:40（北京时间）
查看仓库

新哥聊技术 · 曾铭新

把AI的新变化，讲清楚。