新哥AI资讯 · 2026年9月9日
今日重点
① 前沿研究:OpenAI公开Navier–Stokes有限时间奇点证明与Lean形式化,称约1万智能体协作88小时完成。
② 资本与开发:Mistral完成30亿欧元融资;NVIDIA推出两条CUDA Rust GPU内核开发路线。
③ 产业落地:东风落地315个AI场景,武汉启动AI特教试点,江苏公布39个智慧工地案例。
采集窗口:9月8日06:00(含)至9月9日06:00(不含),北京时间。本轮导出13,976个地址库来源,实际检查5,076个适用入口;逐条核对原文和首次发布时间后保留13条普通资讯与5个GitHub项目。
01 今日更新
OpenAI攻克流体难题
OpenAI称内部模型借助约1万并发智能体,用88小时形成Navier–Stokes有限时间奇点证明,并公开论文与Lean形式化;该模型显著强于GPT-6 Astra,训练仍在继续。
OpenAI公开的结果选择了千禧年问题官方表述中的反例方向:从光滑初态出发,在有限能量条件下形成有限时间奇点。公司明确表示不申请千禧年奖,并称约1300亿输出Token用于该问题;外部数学界仍需独立审查论文与Lean证明。
来源:OpenAI · 首发 09-08 18:00(北京时间)
查看官方原文
OpenAI扩展新闻业计划
OpenAI向CUNY Newmark与西北大学Medill提供逾400个ChatGPT Edu订阅,并把工具、培训和API额度支持扩展到学生、教师与新闻机构。
项目先覆盖CUNY Newmark新闻学院和西北大学Medill学院,面向2026—2027学年。除了工具使用,合作还强调验证、伦理、责任工作流与人类编辑判断;学校只是新一阶段的首批伙伴。
来源:OpenAI · 首发 09-08 08:00(北京时间)
查看官方原文
Mistral融资30亿欧元
Mistral完成30亿欧元D轮融资,投后估值超210亿欧元,由三星电子领投;资金将扩充前沿模型训练算力、基础设施及国际商业布局。
本轮由三星电子领投,EQT管理的Scaleup Europe Fund与PSG Equity共同领投,多家现有及新投资者参与。Mistral称这是欧洲科技公司规模最大的股权融资,并将用于模型研究、算力、基础设施和国际扩张。
来源:Mistral AI · 首发 09-08 20:00(北京时间)
查看官方原文
CUDA Rust原生写内核
NVIDIA推出CUDA Rust双路线:cuda-oxide以SIMT模型把Rust编译为PTX,cutile-rs用稳定版Rust编写Tile内核;公司计划继续完善跨语言互操作。
SIMT路线cuda-oxide使用自定义rustc后端编译到PTX,适合需要直接控制线程和内存的开发者;Tile路线cutile-rs基于稳定版Rust,让编译器负责映射和布局。两者都仍应按各自成熟度评估,cuda-oxide目前处于早期alpha。
来源:NVIDIA · 首发 09-08 20:00(北京时间)
查看官方原文
HPE把排障智能体放本地
HPE Zerto用Strands Agents在客户本地运行多智能体排障流程,以本地MCP读取灾备数据,再调用Bedrock推理和Guardrails,避免客户数据离开内网。
系统把编排和环境数据访问留在客户本地,多个子智能体通过中心编排器协作,本地MCP服务器包装Zerto管理接口。模型推理仍经Bedrock完成,Guardrails、IAM标签、配额和可观测性用于控制边界。
来源:AWS · 首发 09-09 00:15(北京时间)
查看官方原文
AWS实测G7推理性价比
AWS用Qwen3-Coder-30B与Nemotron-3-Nano-30B对比SageMaker G5、G6、G6e和G7;G7以Blackwell GPU在更少显存配置下展示吞吐、时延和单词元成本优势。
测试覆盖代码助手和企业问答两种30B MoE工作负载。G7的12xlarge配置使用两张RTX PRO 4500 Blackwell、64GB总显存;对照组G5/G6使用四张GPU,文章强调要按具体模型、服务栈和负载实测。
来源:AWS · 首发 09-09 00:21(北京时间)
查看官方原文
AWS向百万学生送Kiro
AWS把Kiro学生计划扩展到18国132所高校,符合条件者可免费使用一年,每月获1000积分并使用免安装Kiro Web;此前试点仅覆盖两国11所高校。
计划从今年3月的两国11所高校试点扩展约12倍,参与学生可获得最新模型、每月1000积分和Kiro Web。免费资格仍以学校名单和项目规则为准,不等于向所有学生普遍开放。
来源:Amazon · 首发 09-08 23:55(北京时间)
查看官方原文
Meta推出Muse智能体
Meta在官方X账号发布个人智能体Muse,由Muse Spark 1.3驱动,定位为可替用户完成任务的个人代理;官方同步展示其构建方式与能力。
官方主帖将Muse定义为替用户完成任务的个人智能体,并明确由Muse Spark 1.3驱动。当前可核验信息来自Meta官方X主帖;未把搜索结果中的概念解释页当作独立新品重复发布。
来源:Meta AI · 首发 09-09 03:07(北京时间)
查看官方原文
Cohere开源解码巨核
Cohere发布围绕decode megakernel构建的开源LLM服务系统;官方称North Mini Code以BF16在单张H100上、批量1时速度达vLLM的1.58倍。
decode megakernel把LLM解码阶段融合进一次内核启动。官方线程披露,North Mini Code以BF16在单张H100、batch size为1时达到vLLM的1.58倍,batch size为8时端到端提升约1.25至1.41倍;结果是特定配置实测。
来源:Cohere · 首发 09-09 03:44(北京时间)
查看官方原文
江苏发布39项智慧工地案例
江苏省住建厅公布39个智慧工地案例,覆盖无人运输、机器人测量、深基坑监测、AI塔吊防碰撞及无人机与四足机器人巡检。
案例包括24小时无人运料、毫米级机器人测量、深基坑自动预警、塔吊AI防碰撞和空地协同巡检。省政府披露的单项数据包括运输效率提升40%以上、100平方米6分钟完成488个测点,以及1平方公里巡检压缩至4小时。
来源:江苏省人民政府办公厅 · 首发 09-08 06:59(北京时间)
查看官方原文
河北谋划十万卡智算集群
河北拟在张家口、廊坊等地建设十万卡级以上智算集群;截至6月底,全省智能算力556.1EFLOPS,投运大型及以上算力中心88个。
河北计划构建环京智算集聚区,并推动京津冀3毫秒、全国20毫秒时延圈。公开数据还显示,河北人工智能计算中心月度算力使用率稳定在95%以上,已孵化170余个场景方案。
来源:河北省人民政府办公厅 · 首发 09-08 08:47(北京时间)
查看官方原文
东风落地315个AI场景
东风汽车已在研发、仿真、试验和报告流程部署数百个工业智能体,落地315个AI场景;虚拟测试场每天运行超百万公里仿真里程。
东风搭建数据采集、脱敏流通、模型训练、虚拟迭代和实车落地闭环,智能体进入研发、仿真、试验和报告流程。车端工具执行率接近90%,数据复用预计可为行业节约超10亿元建设成本,均为官方报道口径。
来源:武汉市人民政府办公厅 · 首发 09-08 09:26(北京时间)
查看官方原文
武汉启动AI特教试点
武汉启动一年期AI特殊教育试点,设置3门课程、3类应用场景和2项环境建设行动,由第一聋哑学校承担并覆盖其他特教学校。
试点自2026年秋季延续至2027年8月,以武汉市第一聋哑学校教师和高中阶段学生为主,其他特教学校参与。课程、教学、治理、教师队伍和软硬件环境会同步建设,重点是适配特殊教育场景。
来源:武汉市教育局 · 首发 09-08 09:29(北京时间)
查看官方原文
02 今日5个开源项目
已重新读取线上9月5日至9月8日前4期已发布日报,按规范化owner/repo排除其中推荐过的20个仓库。本轮5个项目均核对README和窗口内提交;Star为Daily Trending观测值,会随时间变化。
1. TeamAI:同步团队智能体资产
腾讯开源的团队AI命令行工具,用Git仓库统一分发技能、规则、MCP、环境配置与团队知识,可同步到Codex、Claude Code、Cursor、OpenCode等多种编码智能体。适合希望沉淀并复用团队AI工作方式的研发组织;近期持续完善迁移和版本文档。
当日新增Star +1,215 · 累计 2,303 · 新上榜:是
最近活动 09-08 21:58(北京时间)
查看仓库
2. i-have-adhd:让智能体回答更直接
一个面向编码助手的输出风格技能,要求先给行动、步骤编号、限制旁支并以明确下一步收尾,帮助用户更快抓住答案,不要求ADHD诊断。可用于Claude Code等支持技能或插件的环境;近期修复了Windows下OpenCode插件导入。
当日新增Star +422 · 累计 30,088 · 新上榜:是
最近活动 09-09 01:08(北京时间)
查看仓库
3. TradingAgents:多智能体交易研究框架
以分析师、研究员、交易员和风险管理角色模拟交易机构协作的LLM框架,可综合基本面、情绪、新闻和技术指标生成研究决策。适合量化与多智能体研究,不构成投资建议;近期v0.4.2继续修正时点数据和模型选择。
当日新增Star +371 · 累计 103,407 · 新上榜:是
最近活动 09-08 06:30(北京时间)
查看仓库
4. MiniCPM:端侧小模型家族
OpenBMB的端侧大模型项目,当前MiniCPM5-2B面向本地和资源受限设备,覆盖代码、数学、长上下文、工具调用与智能体任务,并开放预训练、SFT和RL数据。适合端侧推理及微调研究;近期合入2B模型发布与资料更新。
当日新增Star +239 · 累计 10,605 · 新上榜:是
最近活动 09-08 12:06(北京时间)
查看仓库
5. WeKnora:自维护企业知识库
腾讯开源的企业知识平台,把文档变成RAG问答、ReAct智能体和可回滚的自动Wiki,支持多数据源、长期记忆、沙箱技能、RBAC及私有部署。适合需要可控知识检索与多步推理的团队;近期完善英文和双语产品导览。
当日新增Star +158 · 累计 21,841 · 新上榜:否
最近活动 09-08 23:52(北京时间)
查看仓库
编辑说明
只收录窗口内可核验的新信息,不以转载、页面更新或抓取时间代替首次发布时间。OpenAI数学结果仍需外部同行独立审查;GitHub推荐也不构成安全审计,使用前请核对许可证、依赖、权限和数据处理方式。完整日报与政务应用库可通过文末“阅读原文”查看。
新哥聊技术 · 曾铭新
把AI的新变化,讲清楚。