MiniMax 详解 MaxProof：用生成式验证器 RL 与进化搜索扩展 M3 数学证明能力
MiniMax 发布技术博客，详解 M3 数学证明能力背后的 MaxProof 框架，并称 M3 借此在 IMO 2025 与 USAMO 2026 上超过人类金牌线。
全部动态
MiniMax Research BlogAI 评分5252
GitHub Org · appleAI 评分4141 Apple coreai-models 仓库：面向端侧 AI 的模型导出配方、Python 原语与 Swift 运行时工具
Apple 在 GitHub 提供 coreai-models 仓库，包含面向端侧 AI 的模型导出配方、Python 原语与 Swift 运行时工具。
Ahead of AIAI 评分4949 LLM 研究论文：2026 年清单（1 月至 5 月）
Ahead of AI 整理出 2026 年 1 月至 5 月的 LLM 研究论文精选清单，按模型架构、推理效率与 KV Cache、强化学习与 RLVR、Agent 系统、扩散语言模型等类别编排。清单侧重推理模型、强化学习与高效推理，较 2025 年收录更多 Agent 框架、工具
GitHub Org · alibabaAI 评分4646 阿里巴巴 loongsuite-pilot：面向 AI 编程智能体的本地优先遥测收集器
阿里巴巴的 loongsuite-pilot 是面向 AI 编程智能体的本地优先遥测收集器，为 Claude Code、Codex、Cursor 等工具统一收集 OpenTelemetry 事件。它能统计 token 用量与成本，提供链路追踪和安全审计，数据可导出到任意位置。
GitHub Org · volcengineAI 评分4141 火山引擎 volcengine-agent-toolkit：为 Claude Code、Codex、Cursor 等 AI 编程智能体提供技能与插件
火山引擎在 GitHub 发布 volcengine-agent-toolkit，为 Claude Code、Codex、Cursor、Gemini CLI、OpenCode 等 AI 编程智能体提供技能与插件。该工具包通过 `ve` CLI 管理云资源，支持搜索官方文档和故障排查，并可按需安装产品领域技能。
GitHub Org · ollamaAI 评分4848 Ollama 官方 VS Code 扩展
Ollama 在 GitHub 上提供官方 VS Code 扩展，仓库为 ollama/ollama-vscode。该扩展定位为 Ollama 面向 VS Code 的官方扩展，原文未给出版本号或更多功能细节。
HF 机构 · MiniMaxAIAI 评分4343 MiniMax-M3：MiniMaxAI 的图像文本到文本模型
MiniMax-M3 是 MiniMaxAI 旗下的图像文本到文本模型，托管在 Hugging Face。页面显示其下载量达 155936，获 1600 个赞。
HF 机构 · googleAI 评分5151 Google 在 Hugging Face 发布 any-to-any 模型 Gemma-4-12B
Google 在 Hugging Face 上发布 Gemma-4-12B 模型，页面标注 any-to-any（任意模态）流水线。页面显示该模型已获得 53321 次下载和 846 个收藏，模型地址为 https://huggingface.co/google/gemma-4-12B。
HF 机构 · googleAI 评分4545 Hugging Face 上的 Google gemma-4-12B-it-assistant 模型
Google 在 Hugging Face 提供 gemma-4-12B-it-assistant 模型，标注 any-to-any 标签。当前下载量 22921，获 145 个赞。
HF 机构 · googleAI 评分5555 Google 在 Hugging Face 发布 gemma-4-12B-it 模型
Google 在 Hugging Face 上提供 gemma-4-12B-it 模型，页面标注 any-to-any 类型，累计下载量 1846252，获 1728 个点赞。
Replit · BlogAI 评分5555 Replit Enterprise 开放自助购买，无需销售对接即可开通
Replit 宣布 Enterprise 企业版开放官网自助购买，无需演示申请或合同谈判，配置 SSO 后数分钟即可开始构建生产应用。购买时选择年度 credit 承诺即获得无限席位，额度可在 Replit Agent、Deployments、Storage 等服务间共享，支持信用卡或 ACH 付款。
Stability AI NewsAI 评分6464 Stability AI 发布开源权重音频模型家族 Stable Audio 3.0
Stability AI 发布音频生成模型家族 Stable Audio 3.0，四个模型中 Small SFX、Small 和 Medium 三个开放权重，训练数据全部获得授权。
goose 官方博客精选AI 评分6666 goose 推出 Hooks 功能，可在会话各事件上自动运行自定义脚本
goose 新增生命周期 Hooks 功能，把插件目录放进磁盘即可在会话事件发生时自动运行 shell 脚本，无需写 Rust 或 MCP server。
推荐理由：原文列出全部触发事件并给出五个可复制的示例脚本，读者可以直接照着把已有命令接进 goose 会话。
Thinking Machines Lab · News精选AI 评分7272 Thinking Machines 宣布交互模型研究预览，TML-Interaction-Small 原生支持实时多模态协作
Thinking Machines Lab 宣布交互模型研究预览，从零训练出 TML-Interaction-Small（276B 参数 MoE、激活 12B），可实时接收音频、视频和文本并即时回应。
推荐理由：原文说明交互模型如何把实时互动内建到模型本身而非外部脚手架，并给出与主流实时模型在智能与响应上的基准对比。
Berkeley AI ResearchAI 评分4040 Berkeley AI Research 深度解析自适应并行推理：高效推理扩展的下一个范式
Berkeley AI Research 发布长文综述并行推理领域进展，重点分析自适应并行推理（Adaptive Parallel Reasoning），让模型自主决定何时分解并行子任务、启动多少并发线程及如何协调。
goose 官方博客精选AI 评分6363 goose 如何跨多个智能体编排复杂工作流
goose 官方博客介绍如何用编排功能协调多个智能体并行处理复杂工作流，把复杂任务分解成子任务后分派给子智能体、ACP provider 或其他 goose 实例。
推荐理由：goose 官方讲解如何编排多个智能体并行协作，附可直接复用的提示词示例和读并行写串行的实践原则。
goose 官方博客AI 评分5555 goose 官方介绍 Sentient AGI 用 MiniMax M2.5 在 OfficeQA 上逼近前沿性能的实测结果
goose 官方转发 Sentient AGI 的独立测试，在 Databricks OfficeQA 基准上用 goose 配合开源模型 MiniMax M2.5，结果接近前沿模型性能而成本约为 1/30。
GitHub Org · openaiAI 评分4444 openai-cli：OpenAI API 官方命令行工具
openai-cli 是 OpenAI 官方提供的命令行工具，用于调用 OpenAI API。该仓库位于 GitHub 的 openai 组织下，资料未提供版本号、安装方式或更多功能细节。
ARC Prize · 官方博客精选AI 评分7171 ARC Prize 用 ARC-AGI-3 分析 GPT-5.5 与 Opus 4.7 的三种推理失败模式
ARC Prize 团队复盘 160 段 GPT-5.5 与 Opus 4.7 在 ARC-AGI-3 上的对局和推理轨迹，归纳出三种失败模式并开源分析包，两者在半私有数据集上得分分别为 0.43% 和 0.18%。
推荐理由：ARC-AGI-3 的逐局推理复盘呈现 GPT-5.5 与 Opus 4.7 失败方式的不同，比总分更能说明两者推理差异。
GitHub Org · roboflowAI 评分4646 roboflow/computer-vision-skills：面向 Agent 的 Roboflow 与计算机视觉技能库
Roboflow 在 GitHub 发布 computer-vision-skills 项目，提供 Agent-ready 的技能（Skills），用于 Roboflow 和计算机视觉工作流。这些技能可被 AI 智能体直接调用，覆盖视觉任务场景。
goose 官方博客精选AI 评分7171 goose v1.26 集成 Peekaboo，走出终端操控 macOS 桌面
goose v1.26 用 macOS CLI 工具 Peekaboo 重构 Computer Controller 扩展，使智能体能识别屏幕界面并点击、输入、滚动、拖拽操作 Mac 上的应用。
推荐理由：原文解释了用元素 ID 取代像素坐标的桌面操作设计，并给出适用场景与使用限制，可帮助读者评估智能体 GUI 自动化在自己工作流中的可靠性。
HF 机构 · XiaomiMiMoAI 评分4848 小米 MiMo-V2.5-Pro 模型上线 Hugging Face
小米 MiMo-V2.5-Pro 模型已在 Hugging Face 上架，定位为文本生成（text-generation）模型。页面数据显示其下载量达 9898 次，获 771 个点赞。
GitHub Org · n8n-ioAI 评分5454 n8n 开源 terraform-aws-n8n 模块，在 AWS 一键部署生产级 n8n Enterprise
n8n-io 在 GitHub 发布 terraform-aws-n8n 模块，一条 terraform apply 即可在 AWS 部署生产级 n8n Enterprise。该模块整合多主 EKS、RDS Postgres、ElastiCache Redis、S3 和 ALB 等组件。
Berkeley AI ResearchAI 评分4747 GRASP：面向世界模型长时程规划的梯度规划方法
Yann LeCun 等研究者提出 GRASP，一种基于梯度的世界模型规划器，使长时程规划变得可行。该方法将轨迹提升到虚拟状态使优化跨时间并行、在状态迭代中加入随机性以促进探索，并重塑梯度让动作获得干净信号，避开经高维视觉模型的脆弱“状态-输入”梯度。长时程规划此前易因梯度爆炸或消失、非贪心结构造成的糟糕局部极小而失效。
GitHub Org · browser-use精选AI 评分6565 browser-use 开源 browser-harness，让 Claude Code、Codex、Cursor 使用真实登录的 Chrome
browser-use 在 GitHub 开源 browser-harness 项目，让 Claude Code、Codex 或 Cursor 使用用户本人已登录的真实 Chrome 浏览器。工具一次提示词即可完成设置，采用 MIT 许可证开源。
推荐理由：原文给出让 Claude Code 等智能体操作用户已登录真实 Chrome 的开源方案，一次提示词即可完成配置。
HF 机构 · moonshotaiAI 评分6161 月之暗面 Kimi-K2.6 多模态模型上线 Hugging Face
月之暗面的 Kimi-K2.6 模型在 Hugging Face 开放模型页面，任务类型标注为 image-text-to-text 多模态。页面显示下载量 237218、获赞 1641。
ARC Prize · 官方博客AI 评分5454 ARC Prize 开源 ARC-AGI-3 人类表现数据集并同步更新计分规则
ARC Prize 基金会开源 ARC-AGI-3 人类表现数据集，基于458名普通参与者、每周在旧金山测试中心线下进行的90分钟受控测试，是 ARC-AGI 系列迄今最详尽的人类测试研究。
GitHub Org · axolotl-ai-cloudAI 评分4646 axolotl-ai-cloud 发布 dflash-mlx：基于 MLX 在 Apple Silicon 上实现精确投机解码
axolotl-ai-cloud 在 GitHub 上发布 dflash-mlx 项目，基于 MLX 框架在 Apple Silicon 上实现精确投机解码。该项目由 MLX 驱动，面向 Apple Silicon 平台提供 exact 投机解码能力。
HF 机构 · LGAI-EXAONEAI 评分4040 LGAI-EXAONE 发布 EXAONE-4.5-33B GGUF 版本
LGAI-EXAONE 在 Hugging Face 发布 EXAONE-4.5-33B 的 GGUF 版本，任务类型标注为 image-text-to-text（图像-文本到文本）。该模型当前累计下载 4413 次，获得 55 个点赞。
Stability AI NewsAI 评分5050 Stability AI 发布 Brand Studio：由你的品牌驱动的创意生产平台
Stability AI 发布由品牌驱动的端到端创意生产平台 Brand Studio。团队可在 Brand Central 训练品牌专属 Brand ID 模型并创建 Campaigns，Producer Mode 将提示词转为分步生产计划并执行。
GitHub Org · arcee-aiAI 评分5151 Arcee AI 开源 nac，面向长时运行 AI Agent 任务的编排框架
Arcee AI 开源 nac，一个面向长时运行 AI Agent 任务的开源框架。它通过中央编排器、线程和结构化 episode 组织任务执行，让 Agent 在承接大规模工作时保持与用户意图一致。
GitHub Org · CopilotKitAI 评分4949 CopilotKit Pathfinder：面向文档、代码搜索与对话式来源的自托管 MCP 服务器
CopilotKit 的 Pathfinder 是一个可自托管的 MCP 服务器，用于文档、代码搜索和对话式来源的接入，代码托管在 GitHub 上。该项目由用户自行部署运行，将上述信息源接入自己的使用环境。
GitHub Org · continuedevAI 评分4343 continuedev/checks：在 PR 上以完整 AI 智能体运行的代码质量标准
GitHub 组织 continuedev 的 checks 项目让代码质量标准以完整 AI 智能体的形式在 PR 上运行。这些标准由智能体在 pull request 流程中执行，用于检查代码质量。
ARC Prize · 官方博客精选AI 评分7070 ARC Prize 发布 ARC-AGI-3 交互式基准，ARC Prize 2026 奖金超 200 万美元
ARC Prize 发布 ARC-AGI-3，这是 ARC-AGI 系列首个完全交互式基准，由数百个人类游戏设计师手工打造的回合制环境和数千个游戏式关卡组成，不提供任何说明、规则或目标，要求智能体自主探索玩法并将经验带入越来越难的关卡。
推荐理由：人类得分 100% 而前沿 AI 仅 0.51%，这组对比数字直观呈现了智能体自主探索能力的缺口。
GitHub Org · langgeniusAI 评分4646 langgenius Graphon：面向智能体 AI 工作流的 Python 图执行引擎
Graphon 是 langgenius 旗下托管在 GitHub 的 Python 图执行引擎，面向智能体 AI 工作流。原文仅给出这一项目定位，未提供更多功能、参数或版本细节，故摘要如实从简，不做扩写。
GitHub Org · anthropicsAI 评分5555 Anthropic 推出 Claude Cowork 与 Claude Code 社区插件市场
Anthropic 推出面向 Claude Cowork 与 Claude Code 的社区插件市场。该 GitHub 仓库为只读镜像，插件需通过 clau.de/plugin-directory-submission 提交。
GitHub Org · clineAI 评分5050 Cline Harbor 框架：运行智能体评测、创建与使用 RL 环境
Cline 在 GitHub 上提供 Harbor 框架，用于运行智能体评测以及创建和使用 RL 环境。项目仓库为 cline/harbor，将智能体评估执行与 RL 环境的搭建、使用整合在同一框架中。
Answer.AI 官方研发博客AI 评分5252 fast.ai 联合创始人 Rachel Thomas 谈 AI 在生命科学中的风险与局限
fast.ai 联合创始人、Answer.AI 的 Rachel Thomas 在与 KAMI Think Tank 的访谈中指出，AI 在生命科学中的炒作常超前于实际科学理解，数据的类型与质量决定结果上限。
GitHub Org · SkyworkAIAI 评分5959 Skywork 开源 Skywork-Skills，提供 AI 办公套件 Agent 技能包
SkyworkAI 在 GitHub 开源 Skywork-Skills 仓库，提供面向 AI 办公套件的 Agent 技能包，覆盖 AI PPT、AI Document、AI Excel、AI Image、AI Search/DeepResearch 和 AI Music 六类场景。
GitHub Org · modelscopeAI 评分4545 modelscope MCore-Bridge：让 Megatron 训练像 Transformers 一样简单，支持 300+ 大语言模型与 200+ 多模态模型
modelscope 的 MCore-Bridge 项目为前沿大模型提供 Megatron-Core 模型定义，让 Megatron 训练像 Transformers 一样简单。项目支持 300+ 大语言模型（含 Qwen3-Next、GLM-5.3、Deepseek-V4、MiniMax-2.7 等）和 200+ 多模态大模型（含 Qwen3.8、Qwen3-Omni、Gemma4 等）。