OpenAI 开源 Codex Security:Vibe Coding 产品必备的安全扫描插件OpenAI 将安全插件 Codex Security 开源,外部 Agent 均可调用,并已支持通过 OpenRouter 和 Fireworks 接入第三方模型。AI资讯分类技术资讯# OpenAI# 安全/对齐# 开源/仓库3个月前04340
Mooncake 如何为 Miles 强化学习系统实现高效批量 Rollout 数据传输大规模 LLM 强化学习采用解耦架构后,rollout 数据从推理侧到训练侧的传输成为瓶颈。Mooncake 针对 Miles 系统中异构、碎片化的 rollout 数据(如 list[np.ndar...AI资讯分类技术资讯# 开源/仓库# 数据/训练# 部署/工程3个月前03560
Google 发布开源 C++ 库 Credentio,用于 C2PA 内容凭证验证Google 发布开源 C++ 库 Credentio,支持在客户端和服务器应用中集成高性能、本地优先的 C2PA 内容凭证验证。该库以优化的内存占用完全本地处理资产,可为数 GB 级媒体文件提供即时...AI资讯分类技术资讯# Google# 安全/对齐# 开源/仓库3个月前05060
FastMetal 让 Mac 本地 30 秒生成视频一段 5 秒 480P 视频,完全在 Mac 上生成,耗时 30 秒。无需 CUDA,无需云端,仅占用 3.9 GiB 内存。 FastMetal 将 FastWan-QAD 系列带到 Apple S...AI资讯分类技术资讯# Hugging Face# 开源/仓库# 端侧3个月前04540
在 M1 Max 上运行 2.8T 参数的 Kimi K3:Deltafin 项目实现 0.0687 token/s 推理Deltafin 项目成功在 64 GB M1 Max 上运行了 2.8T 参数的 MoE 模型 Kimi K3,当前中位推理速度为 0.0687 token/s(14.6 秒/token)。完整安装...AI资讯分类技术资讯# 开源/仓库# 推理# 端侧3个月前04720
费马大定理的 Lean 4 机器检查完整证明开源发布Anthropic 发布基于 Lean 4.33.1 和 Mathlib 的费马大定理完整机器检查证明,遵循 Frey、Serre、Ribet、Wiles 和 Taylor-Wiles 的论证路线,以...AI资讯分类技术资讯# OpenAI# 开源/仓库# 推理2个月前03780
DeepSeek V4 Flash 0731 开源,登顶开源模型前三DeepSeek 发布开源模型 DeepSeek V4 Flash 0731,在 Artificial Analysis 智能指数上得分 50,位列开源模型前三。该模型采用 MIT 许可,总参数 28...AI资讯分类技术资讯# DeepSeek# 开源/仓库# 模型发布3个月前04640
面壁智能开源 ForgeStencil:一周自动优化 100+ 工业与科学软件,全程零人工介入面壁智能联合 OpenBMB 开源全球首个支持 Stencil 自动研究、自动部署的 AI 优化系统 ForgeStencil,由 Kernel Agent 与 App Agent 闭环协作,实现从算...AI资讯分类技术资讯# 开源/仓库# 开源生态# 部署/工程3个月前02950
Cloudflare OS:面向智能体、应用与工作的开放平台Cloudflare 开源新版 Cloudflare OS,任何组织均可部署并连接内部系统。该平台为每位员工提供基于公司上下文与技能的智能体工作区,包含隔离运行时、安全治理框架及可共享修改的个人应用...AI资讯分类技术资讯# 产品更新# 开源/仓库# 智能体3个月前03080
蚂蚁集团 Robbyant 发布 LingBot-VA 2.0,首个原生具身基础模型蚂蚁集团旗下具身智能团队 Robbyant 发布 LingBot-VA 2.0,首个原生具身基础模型。该模型采用因果 DiT 架构,视频专家约 13.0B 参数(约 1.9B 激活),训练规模约 15...AI资讯分类技术资讯# 具身智能# 多模态# 开源/仓库4个月前06520