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

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

作者头像
新智元

AI技术专栏作家

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

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

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

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中国
124 0
Goedel-Prover-V2 – 普林斯顿联合清华等开源的定理证明模型
开源项目 7月前

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

推荐文章

打开必应就能生图，微软 Bing Image Creator 免费接入 GPT-4o

打开必应就能生图，微软 Bing Image Creator 免费接入 GPT-4o

7月前 • AI热点
华为路由 X1 系列新品官宣：灵犀天线、内置星闪网关，4 月 16 日预售

华为路由 X1 系列新品官宣：灵犀天线、内置星闪网关，4 月 16 日预售

10月前 • AI热点
天猫精灵：已支持超 5.3 亿可连接设备、300 + 品类

天猫精灵：已支持超 5.3 亿可连接设备、300 + 品类

9月前 • AI热点
瓴羊发布AgentOne，务实比“快”更重要

瓴羊发布AgentOne，务实比“快”更重要

5月前 • AI热点
专家揭示构建稳健AI编排层的最佳实践

专家揭示构建稳健AI编排层的最佳实践

8月前 • AI热点
速抢（2核2G）77元/年香港免备案服务器

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

0秒前 • AI热点
用即梦AI制作动画视频故事，解决AI生成图片角色一致性问题

用即梦AI制作动画视频故事，解决AI生成图片角色一致性问题

1年前 • 学习教程
Vibe Coding，一场幻觉和焦虑催生的行业狂欢

Vibe Coding，一场幻觉和焦虑催生的行业狂欢

6月前 • AI热点

热门标签

俞渝 隔夜VC水 ani 风景提示词 数字化诊疗 博主带货 AI新词:Visual-ARFT AI新词:AI健康管家 物流智能化 情感化AI

热门作者

作者头像

AI前沿

2.4k 粉丝

作者头像

机器学习实验室

1.8k 粉丝

作者头像

AI创业圈

3.1k 粉丝