OpenAI 公布内部前沿模型在数学开放问题上的新结果
OpenAI 公布内部前沿模型在数学开放问题上取得的新结果，并说明这些结果来自一个内部前沿模型。相关 Lean 证明形式化与研究细节已在 GitHub 公开。
#开源/仓库
OpenAI NewsAI 评分5757 The DecoderAI 评分7171 研究者将 LeCun 的 JEPA 扩展为跨物理到生物学的通用世界模型
PhAI Labs 联合 Stanford、Oxford、Princeton 提出 JEPA-Anything，把 JEPA 的预测状态拆成四个正交因子、各配一个预测模块再重组，在物理、机器人、天气、单细胞和临床等七个领域测试。
TechCrunch · AIAI 评分6262 Reflection 发布开源权重模型 Beam，对标中国开源模型且算力成本更低
Reflection AI 正式发布其首个前沿开源权重模型 Beam，称在高级推理基准上可匹敌中国领先开源模型，且推理算力消耗少 3-4 倍。Beam 是纯文本 MoE 模型，总参数 5010 亿、激活 230 亿，预训练 23.8 万亿 token，上下文窗口 100 万 token。
The DecoderAI 评分6060 Aleph Alpha 发布开源权重模型 Kolibri，主打欧洲 AI 主权
Aleph Alpha 发布德英双语模型 Kolibri，总参数 78B，采用 MoE 架构，每个 token 约激活 3B 参数。公司称 Kolibri 在两种语言的质量与运行成本上处于帕累托前沿，德语基准得分 71%，解码速度快于 GPT OSS A5B、Qwen 3.6 A3B 和 Gemma 4 A4B 等同类模型。
The DecoderAI 评分3838 NASA 与 IBM 发布开源月球基础模型，基于 17 年轨道器数据
NASA 与 IBM Research 联合多家学术机构发布 NASA-IBM Lunar Foundation Model，称其为最早的开源月球科学基础模型之一。
Hacker News · AI 高分帖AI 评分5858 SCM 发布 macOS 本地 AI 搜索工具，可检索照片与视频每一帧
SCM 是一款 macOS 本地优先的 AI 搜索工具，可对任意文件夹里的照片和视频逐帧做语义检索，推理全部在 Mac 上完成，不上传、不需要账号。它提供五种搜索模式：按语义找文件、定位视频片段并跳转到对应时间码、OCR 匹配画面文字、Whisper 精确检索台词，以及可选的本地 LLM 问答（默认 Qwen3 1.7B，约 1.1GB）。
The DecoderAI 评分5858 Meta 开源 Muse Gadgets，让爱好者自制 AI 硬件
Meta 发布开源项目 Muse Gadgets，提供 ESP32 开发板固件和 Linux SDK，让爱好者自制设备接入其 AI 智能体 Muse，代码采用 Apache 2.0 许可并设有 Discord 社区。
Hacker News · AI 高分帖AI 评分6262 Aleph Alpha 开源德语大模型 Kolibri 技术解读：78B MoE、1M 上下文与实测短板
Aleph Alpha 于 2026 年 10 月 3 日以 Apache 2.0 协议开源德语和英语大模型 Kolibri，总参数 78.1B 的 MoE 架构，每个 token 仅激活约 3.46B，原生上下文 262,144 tokens，权重已上传 Hugging Face，在德国和芬兰的基础设施上从零训练。
The DecoderAI 评分6262 开源 harness BootLoops 让 AI 模型完成精确科学计算
开源 harness BootLoops 在 GitHub 上发布，用于让 AI 模型完成精确科学计算。据 Schwartz 介绍，团队三个月内在 18 个领域产出 36 篇手稿、19 位合著者，Claude 用 BootLoops 计算了 30 个积分，其中 15 个复现已知结果、15 个为首次计算。
TechCrunch · AIAI 评分4040 Meta 推出 Muse Gadgets 开源项目，让开发者自建连接 Muse 的硬件
Meta 推出开源项目 Muse Gadgets，提供开源固件和 Linux SDK，让开发者用 Raspberry Pi 或 ESP32 等低成本硬件连接其个人 AI 智能体 Muse。Meta 产品负责人 Nat Friedman 称公司已自制 Muse Home Link，可让 Muse 接入家庭网络控制音箱和智能电视，首批 5000 台免费送给 Muse 订阅用户。
Hacker News · AI 高分帖AI 评分5858 ldraw-nova：开源 AI 智能体生成 LDraw 乐高模型工具
作者 antelocnova 在 GitHub 开源 ldraw-nova，让 AI 智能体根据模型想法生成可构建的 LDraw 乐高模型，输出 LDraw 源码、3D 查看器、VR 交互（Meta Quest 3）以及 Blender 可编辑的 glTF 文件。
The DecoderAI 评分3636 Cloudflare 发布 Clef 决策模型：AI 智能体决策不再需要人类介入
Cloudflare 推出决策模型 Clef 与 Clef-flash，称智能体可自主收集上下文、做决策并执行，必要时才交由人类处理。
Hacker News · AI 高分帖AI 评分6262 Redis 作者发布 ds4：在本地运行 DeepSeek V4 等前沿开源模型
Redis 作者 antirez 发布 DwarfStar 4（ds4），一个用 C 编写的本地推理引擎，面向高内存 Mac、CUDA 和 ROCm 机器，支持 DeepSeek V4 / V4.1 Flash、GLM 5.x 和 Qwen3.8 Flash Next 的文本与视觉模型，采用 MIT 许可。
量子位AI 评分2222 openJiuwen X-Router 自演进模型路由技术首发：昇腾亲和，实测减少 50+% Token 消耗
openJiuwen 团队首发 X-Router 自演进模型路由技术，在 Agent 与模型之间加入智能决策层，基于任务复杂度动态选择最优模型。在 PinchBench 全量 147 个任务评测中，x-router 静态路由成本较全云基线降低 25.7%，开启 Bandit 自演进后成本再降约 25.3% 至 $6.16，得分提升 4.4% 达 70.70%。
X · DeepSeekAI 评分4040 DeepSeek 发布 DeepSeekHarness 桌面版，支持 macOS 与 Windows
DeepSeek 发布 DeepSeekHarness 打包桌面版，覆盖 macOS 和 Windows，Linux 用户可通过 npm 上的 @deepseek-ai/dsh 包获取。
TechCrunch · AIAI 评分3333 Amazon 发布开源决策模型 Strands Decider 2B，对标 TypeSafe 的 Jev
AWS 发布开源决策模型 Strands Decider 2B，基于 Qwen3.5-2B 构建，可在本地运行，用于在预设选项中做选择并给出置信度评分。该模型由 Amazon 杰出工程师 Marc Brooker 在见到 TypeSafe 的 Jev 后自行开发，曾短暂登顶同规模 Jevbench 榜首，现由 Strands Labs 正式发布。
Reddit · r/StableDiffusion精选AI 评分6969 Orbiting LoRA 搭配 MiniMax 首尾帧生成 360 环绕镜头
用户 /u/AndrewJumpen 在 r/StableDiffusion 分享，把 Orbiting LoRA 与 MiniMax 的首尾帧功能结合，可以生成效果很好的 360 度环绕镜头。
选题角度：作者给出 MiniMax 首尾帧配合 360 环绕 LoRA 的完整提示词和 Hugging Face 模型页，适合照着复现同一段环绕镜头看效果。
The DecoderAI 评分7171 安全公司发现 AI 智能体公开上传超 1.3 万张企业内部截图
安全初创公司 Glow Security 发现，AI 智能体将 343 家机构的 1.3 万多张内部软件项目截图上传到公开 GitHub 仓库，涉及财富 500 强公司、金融机构和 AI 实验室。
The DecoderAI 评分7171 Ataraxos 击败最强 Stratego 选手，算力成本仅为 DeepNash 的 1/500
研究团队用 Ataraxos 在军旗（Stratego）对局中以 85% 有效胜率击败史上最强选手 Niemeijer，该 AI 纯靠自我对弈学习、不使用人类数据。
FireshipAI 评分3838 一个 50 年前的军事机密，真能解决 AI 智能体的提示词注入问题吗？
一个名为 OpenAPPA 的新开源项目声称已解决 AI 智能体的"失控"问题，其思路被认为可能源自一项 50 年前的军事机密。目前该项目仅公开了代码仓库，尚未披露具体技术细节或验证数据。
Google DeepMindAI 评分3939 Google DeepMind 推出 SynthID Bio：为 AI 生成蛋白质嵌入可验证水印
Google DeepMind 推出 SynthID Bio，将水印技术引入合成生物学，可在生物代码中嵌入不可感知签名，并在合成出的实体蛋白质上验证，同时保持其生物功能。
The DecoderAI 评分4444 DeepSeek 联合华为发布昇腾芯片开源编程工具，核心为 TileLang
DeepSeek 与华为合作，为华为昇腾芯片推出开源编程工具，核心是比 CUDA 更易用的编程语言 TileLang，双方还优化了由 128 颗昇腾 950 芯片组成的超节点。该语言由北京大学研究人员开发，DeepSeek 已使用约一年，现为其 AGI 工作的主要工具。
Reddit · r/StableDiffusionAI 评分3434 MiniMax-H3 RefMods 更新：更少图片实现更高准确率与低身份串扰，并新增视频编辑遮罩
MiniMax-H3 的 RefMods 实现更新，通过将参考图以 jpeg 数据与 latents 一同存入 .safetensors，让文本编码器直接读取并缓存，跳过 VAE 解码，从而减少身份串扰并提升准确率。
量子位AI 评分2020 DeepSeek 开源昇腾基础组件，与昇腾共建 AI 芯片软件生态
DeepSeek 正式开源面向昇腾算力平台的基础设施组件，包括 DeepGEMM、FlashMLA、TileKernel、DeepSelect 等高性能算子库及 DeepEP 分布式通信库，与此前 GPU 平台开源组件一一对应。
量子位AI 评分6060 IQuest-Q1发布：320B参数激活15B，一句Prompt直出小游戏
至知创新研究院IQuest Research发布IQuest-Q1模型，采用decoder-only Transformer主干与稀疏MoE架构，总参数约320B、激活参数约15B。
抖音 · 数字生命卡兹克爆款AI 评分2222 数字生命卡兹克宣布开源「AI Hot」
数字生命卡兹克宣布开源「AI Hot」。正文未披露该项目的具体功能、技术细节与使用方式，仅以开源决定作为核心信息发布。
公众号 · 数字生命卡兹克AI 评分3838 月活百万的 AI 热点资讯站 AIHOT 正式开源，AIHOT 2.0 同步上线
月活百万的 AI 热点资讯网站 AIHOT 正式开源，AIHOT 2.0 版本同步上线。作者用 Claude Opus 5.5 和 GPT-6 Astra 重写旧代码库，开源了采集流程、精选评分流程、聚簇机制及生产环境全部 Prompt，具体信源未放出。该框架面向法律、HR、金融等行业，用户可替换信源与精选标准构建自己的资讯产品。
Reddit · r/StableDiffusionAI 评分5050 Vlo 0.3 发布：面向 AI 合成的开源可扩展视频编辑器与生成器
Vlo 0.3 是一款面向 AI 合成的开源可扩展视频编辑与生成软件，强调对生成过程的控制与修正而非自动化。它支持在时间线上任意位置 inpaint、用 SAM2 做视频遮罩、sam-audio 提取音轨，并内置 Minimax H3、Qwen2.1、Krea2、LTX2.5 等工作流，以 ComfyUI 为主要 AI 引擎。
Reddit · r/StableDiffusion精选AI 评分6262 MiniMax H3 REF 搭配 Fizgig 节点实现 Ref2Img 图像编辑
作者用 MiniMax H3 REF 配合 ComfyUI-Fizgig-H3-Still 节点做 Ref2Img 与 Img2Img 图像编辑，在 5060 Ti 16GB 上以 18 步生成 4096x1536 图像约需 1 分钟。
选题角度：作者给出 ComfyUI 节点、工作流和提示词，并实测 4096x1536 一分钟出图，适合按步骤复现这套 Ref2Img 编辑流程。
Hugging Face Blog精选AI 评分6060 H 公司发布 Holo4 系列智能体模型，含 27B 稠密与 35B-A3B MoE 两个版本
H 公司发布 Holo4 系列智能体模型，提供 27B 稠密版和 35B-A3B MoE 版，两者均已上线 H Models API，权重以 BF16、FP8、NVFP4 和 4-bit GGUF 格式开源在 Hugging Face。
选题角度：原文给出两个尺寸的权重与 API 入口，还附了 FreeCAD 建模、Godot 游戏等完整轨迹，适合录屏对比 Holo4 27B 与 Qwen3.8 27B 在同一提示词下的表现。
The DecoderAI 评分6262 Nvidia 发布免费 1 亿参数模型 Nemotron 3 Diarization，可实时区分最多八位说话人
Nvidia 发布 Nemotron 3 Diarization，这是一个约 1 亿参数、权重免费开放的说话人分离模型，能实时判断对话中谁在说话，最多区分八位说话人并检测多人同时发言。
The DecoderAI 评分6666 斯坦福与 Caltech 用 GPT-6 Astra 直连机器人整理陌生厨房
斯坦福和 Caltech 研究人员构建了 HomeBody 系统，让 Unitree G1 机器人自主导航陌生厨房、整理物品并从抽屉取物。
量子位AI 评分4040 索辰科技与美梦空间联合发布 Physical-WAM 物理世界动作模型及 RoboTwin-Phys 评测基准
美梦空间在第五届全球数字贸易博览会上发布 Physical-WAM 物理-世界动作模型与 RoboTwin-Phys 物理漂移评测基准，前者由 PhysLens、PhysDream、PhysAct 三模块构成，通过物理 Token 表征让机器人感知摩擦、重量、重心等物理属性并预判动作后果。
量子位AI 评分4040 Simate 发布首版通用物理快系统 Simate-beta，登顶 RoboDojo
Simate 发布首版通用物理快系统 Simate-beta，据公司披露以平均 Score 33.95、SR 27.96% 登顶更新于 2026 年 9 月 23 日的 RoboDojo 榜单，且基础模型未针对该榜单专门优化。该系统主打 4D 物理感知与分层时序记忆，面向零样本泛化，配套 AutoResearch 平台已向 MIT、加州理工、清华、北大等高校研究者开放内测。
量子位AI 评分7474 开源框架 Colibrì 用 SSD 当显存，25GB 笔记本跑 744B GLM-5.2
GitHub 开源项目 Colibrì 用纯 C 实现分层推理，把 MoE 模型的路由专家放在 NVMe SSD 上按需读取，让 744B 的 GLM-5.2 在最低 16GB、推荐 24GB RAM 的机器上运行，不强制要求 GPU，项目已获 32k Star。
量子位AI 评分3636 谷歌TPU跑Kimi K3比英伟达GB200快57%，Inferact用DeepSeek DSpark框架开源megakernel
Inferact用16块谷歌TPU v7跑Kimi K3达到每秒709个token，比16块英伟达GB200的452个快57%，并已开源这套megakernel代码。该方案将92层MoE计算合并为单个Pallas程序，配合DeepSeek的DSpark推测解码框架，acceptance length达6，且GPQA-Diamond 94.4%、GSM8K 97.2%与GPU结果一致。
抖音 · 杨博士说AI精选AI 评分5858 小米 MiMo v2.6 演示与 Code Midas 论文：用 GitHub 源码造 RL 训练环境
杨博士说AI 解读小米 MiMo v2.6 的 demo，覆盖 3D 开放世界搭建、Blender 文字生成汽车 3D 资产、仿真环境交互、computer use 做 PCB 电路板设计、金属有机框架材料设计与形式化数学证明等场景。
选题角度：博主逐条拆解小米 MiMo v2.6 的 demo 场景，并对照 Code Midas 与 Google Dream 两篇论文讲清不靠蒸馏的 RL 自进化思路，适合做技术解读。
Reddit · r/StableDiffusionAI 评分2222 KREA 2 Turbo 风格库更新：397 个风格重渲染，修复提示词缺失风格名问题
KREA 2 Turbo 风格库完成更新，修复了 397 个风格中 290 个因提示词缺失风格名而无法正确渲染的问题，模板改为 Style: {name}: {style description}。
The DecoderAI 评分6262 Black Forest Labs 发布开源机器人模型 FLUX 3 Action
Black Forest Labs 发布面向机器人的开源模型 FLUX 3 Action，基于多模态 FLUX 3 构建，可接收机器人工作区的多摄像头视频流，预测智能体下一步动作及环境变化。
抖音 · 杨博士说AIAI 评分4848 OpenAI GPT-6、Claude 5.5、Grok 4.7 与小米 MiMo v2.6 等新模型一览
过去几天海外密集发布新模型：OpenAI 的 GPT-6 系列、Anthropic 的 Claude 5.5、xAI 的 Grok 4.7，Gemini 4 Pro 尚未发布。
