全球最大开源具身大模型！中国机器人跑完马拉松后开始学思考
置顶
开源项目 2月前 • 198

全球最大开源具身大模型！中国机器人跑完马拉松后开始学思考

作者头像
新智元

AI技术专栏作家

阅读全文
英伟达开源DAM图像描述一切模型：实现详细局部图像与视频的描述
开源项目 6月前

英伟达开源DAM图像描述一切模型：实现详细局部图像与视频的描述

AI中国 AI中国
154 0
Excel MCP Server – 基于MCP的Excel处理工具
开源项目 6月前

Excel MCP Server – 基于MCP的Excel处理工具

Excel MCP Server是什么Excel MCP Server 是基于 Model Context Protocol (MCP) 的服务器工具，在无需安装 Microsoft Excel 的情况下，用 AI Agent操作 Excel 文件。Excel MCP Server支持创建、读取和修改 Excel 工作簿，具备数据读写、格式化、公式计算、图表生成、数据透视表创建等功能。Exce

AI中国 AI中国
109 0
Goedel-Prover-V2 – 普林斯顿联合清华等开源的定理证明模型
开源项目 6月前

Goedel-Prover-V2 – 普林斯顿联合清华等开源的定理证明模型

Goedel-Prover-V2是什么Goedel-Prover-V2 是普林斯顿大学、清华大学、英伟达等顶尖机构联合推出的开源定理证明器。Goedel-Prover-V2通过分层式数据合成、验证器引导的自我修正和模型平均等创新技术，显著提升自动形式化证明生成的性能。模型包含两个参数版本：32B和8B。32B模型在MiniF2F基准测试中达到90.4%的Pass@32成绩，超越671B的Dee

AI中国 AI中国
150 0
Grok 4 – 马斯克旗下xAI推出的新一代大模型
开源项目 6月前

Grok 4 – 马斯克旗下xAI推出的新一代大模型

Grok 4是什么Grok 4 是 xAI 推出的最新AI大模型，Grok 4 的推理能力相较于前代提升 10 倍。模型具备卓越的推理能力，能在 SAT、GRE 等高难度考试中接近满分，在多项基准测试中超越其他前沿模型。Grok 4 支持多模态功能，能理解主观概念、生成代码和可视化内容，在语音交互上进行重大改进。Grok 4分为两个版本，Grok 4 是单代理（single agent）版本，

AI中国 AI中国
208 0
TradingAgents-CN – 中文多智能体金融交易决策框架
开源项目 6月前

TradingAgents-CN – 中文多智能体金融交易决策框架

TradingAgents-CN是什么TradingAgents-CN是基于多智能体大模型的中文金融交易决策框架，在TauricResearch/TradingAgents的基础上进行了开发，为中文用户提供了完整的文档体系和本地化支持。框架模拟真实交易公司的专业分工和协作决策流程，通过多个专业化AI智能体协作评估市场条件，包括分析师团队、研究员团队、交易员智能体、风险管理和管理层等多智能体协作

AI中国 AI中国
247 0
k2 – 月之暗面 Kimi 最新开源的 MoE 架构基础模型
开源项目 6月前

k2 – 月之暗面 Kimi 最新开源的 MoE 架构基础模型

k2是什么k2是月之暗面Kimi推出的具备超强代码和 Agent 能力的 MoE 架构基础模型，总参数 1T，激活参数 32B。在通用知识推理、编程、数学、Agent 等主要类别的基准性能测试中，K2 模型的性能超过其他主流开源模型。k2 模型上下文长度为 128k，不支持视觉功能，支持 ToolCalls、JSON Mode、Partial Mode、联网搜索功能等。k2模型开源了两个版本，

AI中国 AI中国
122 0
PromptForge – AI提示词工程平台，辅助生成提示词和优化
开源项目 6月前

PromptForge – AI提示词工程平台，辅助生成提示词和优化

PromptForge是什么PromptForge 是 AI 提示工程工作台，支持帮助用户高效地创建、测试和优化 AI 提示。PromptForge基于智能生成功能提供 AI 辅助的提示构建和优化建议，具备高级分析工具，能在测试前提供优化反馈。PromptForge系统性评估引擎可自动生成全面的测试套件，涵盖鲁棒性、安全性、准确性和创造性等多个维度。PromptForge 支持多模型比较和专业

AI中国 AI中国
173 0
RoboBrain 2.0 – 智谱开源的具身大脑模型
开源项目 6月前

RoboBrain 2.0 – 智谱开源的具身大脑模型

RoboBrain 2.0是什么RoboBrain 2.0 是强大的开源具身大脑模型，能统一感知、推理和规划，支持复杂任务的执行。RoboBrain 2.0 包含 7B（轻量级）和 32B（全规模）两个版本，基于异构架构，融合视觉编码器和语言模型，支持多图像、长视频和高分辨率视觉输入，及复杂任务指令和场景图。模型在空间理解、时间建模和长链推理方面表现出色，适用机器人操作、导航和多智能体协作等任

AI中国 AI中国
196 0
RoboOS 2.0 – 智谱开源的跨本体大小脑协同框架
开源项目 6月前

RoboOS 2.0 – 智谱开源的跨本体大小脑协同框架

RoboOS 2.0是什么RoboOS 2.0 是智谱开源的跨本体大小脑协同框架，专为具身智能设计。框架支持多机器人协作，基于集成MCP协议和无服务器架构实现轻量化部署，降低开发门槛。框架包含基于云计算的大脑模块，负责高级认知与多智能体协同；分布式小脑模块群，专司机器人专项技能执行；及实时共享内存机制，强化环境态势感知能力。RoboOS 2.0 提供标准化接口，消除硬件适配差异，用技能商店实现

AI中国 AI中国
239 0
EXAONE 4.0 – LG推出的混合推理大模型
开源项目 6月前

EXAONE 4.0 – LG推出的混合推理大模型

EXAONE 4.0是什么EXAONE 4.0是韩国LG AI Research推出的自研混合推理大模型。模型融合通用自然语言处理和高级推理能力，支持韩语、英语和西班牙语。模型分为32B的专业版和1.2B的端侧版，前者基于多项国家级认证考试，适用高专业领域，后者体积小、性能优，支持本地运行，适合隐私和安全要求高的场景。EXAONE 4.0在国际高难度基准测试中表现优异，如MMLU-Pro 81

AI中国 AI中国
159 0
加载更多

推荐文章

一个数据集，一年产稿7876篇！AI强力加持，垃圾论文海量爆发

一个数据集，一年产稿7876篇！AI强力加持，垃圾论文海量爆发

7月前 • AI热点
Stable Diffusion 入门指南，Stable Diffusion WebUI本地部署教程

Stable Diffusion 入门指南，Stable Diffusion WebUI本地部署教程

1年前 • 学习教程
长得这么“乖”的人形机器人，第一次见

长得这么“乖”的人形机器人，第一次见

6月前 • AI热点
AI自动生成表格的软件有哪些？推荐3款ai一键生成各类图表工具

AI自动生成表格的软件有哪些？推荐3款ai一键生成各类图表工具

11月前 • 学习教程
速抢（2核2G）77元/年香港免备案服务器

速抢（2核2G）77元/年香港免备案服务器

0秒前 • AI热点
VEO 3 视频生成教学及账号最新获取方式(含白嫖攻略)，Google VEO 3 使用指南

VEO 3 视频生成教学及账号最新获取方式(含白嫖攻略)，Google VEO 3 使用指南

7月前 • 图文教程
【秋叶SD整合包】5月最新StableDiffusion最新整合包下载安装保姆级教程——含Win+Mac版本，A卡+N卡版本，一键安装，永久使用（附SD安装包

【秋叶SD整合包】5月最新StableDiffusion最新整合包下载安装保姆级教程——含Win+Mac版本，A卡+N卡版本，一键安装，永久使用（附SD安装包

8月前 • 视频教程
一键生成短剧？用AI做短剧创作全流程教程

一键生成短剧？用AI做短剧创作全流程教程

1年前 • 学习教程

热门标签

HUAWEI Lightning2.5 GPT-4消费 环境变量设置 Grok-1 真栗 联合创新实验室 OpenAI有意收购Chrome 网络浏览能力 智能人机交互

热门作者

作者头像

AI前沿

2.4k 粉丝

作者头像

机器学习实验室

1.8k 粉丝

作者头像

AI创业圈

3.1k 粉丝