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

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

作者头像
新智元

AI技术专栏作家

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

推荐文章

手摸手的AI编程cursor实战【小白教程】

手摸手的AI编程cursor实战【小白教程】

6月前 • 视频教程
【全108集】即梦AI3.0独家保姆级教程！AI绘画+图生视频+脚本+剪辑完整流程详解！目前B站最全最细的AI视频制作教程！包含所有干货！七天就能从小白到大神！

【全108集】即梦AI3.0独家保姆级教程！AI绘画+图生视频+脚本+剪辑完整流程详解！目前B站最全最细的AI视频制作教程！包含所有干货！七天就能从小白到大神！

6月前 • 视频教程
苹果连续12年蝉联全球最具价值品牌，报告揭示信任与设计重于 AI 狂热

苹果连续12年蝉联全球最具价值品牌，报告揭示信任与设计重于 AI 狂热

2月前 • AI热点
秘塔AI搜索上线“讲题”功能 降低家长辅导门槛

秘塔AI搜索上线“讲题”功能 降低家长辅导门槛

7月前 • AI热点
新iPhone的AI怎么样，得看苹果最近的收购了

新iPhone的AI怎么样，得看苹果最近的收购了

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

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

0秒前 • AI热点
DeepSeek R1 性能提升 3.8 倍，AMD 发布下一代开源软件栈技术 ROCm 7

DeepSeek R1 性能提升 3.8 倍，AMD 发布下一代开源软件栈技术 ROCm 7

6月前 • AI热点
AI论文写作哪个软件工具最好用？7款论文AI软件帮写专业学术论文

AI论文写作哪个软件工具最好用？7款论文AI软件帮写专业学术论文

1年前 • 学习教程

热门标签

关税政策 Runway VR设备 随机卡 真我budsair7pro价格 产业 抖音热门古风歌曲 LawZero Light创造营 埃隆·马斯克

热门作者

作者头像

AI前沿

2.4k 粉丝

作者头像

机器学习实验室

1.8k 粉丝

作者头像

AI创业圈

3.1k 粉丝