标签：开源
不做“传统机器人公司”的智元发了个大模型，要让机器人看视频就能进化
智元机器人发布了通用具身基座大模型——智元启元大模型（GO-1），展示了其通过模仿人类操作完成家务任务的能力，如倒水和制作吐司早餐。GO-1的核心功能依赖于V...
Github超2万星，OpenManus核心作者聊Agent发展趋势
随着推理模型能力的提升，近期关于Agent技术的讨论热度显著上升。3月5日晚，Manus的Demo展示引发了全网关注，随后国内DeepWisdom MetaGPT团队和CAMEL AI团队...
Manus被破解了？曝出系统提示词和背后大模型，CTO也回复了
最近，一款名为「Manus」的通用 AI Agent 产品引发了广泛关注。该产品能够处理复杂的文件、进行数据分析、编写代码等多种任务，迅速吸引了大量用户在线求购邀...
1次搭建完胜1亿次编码，MCP硅谷疯传！Anthropic协议解锁智能体「万能手」
近期，AI智能体领域迎来了一项重要突破——MCP（Model Context Protocol）协议的诞生及其开源复现。这一协议旨在为AI智能体提供标准化的上下文信息传递方式，使...
「古董」GPU也能跑DeepSeek同款GRPO！显存只需1/10，上下文爆涨10倍
开源微调工具Unsloth近期发布了重大更新，进一步优化了GRPO（Group Relative Policy Optimization）训练算法，显著提升了性能并大幅降低了显存需求。此次更新...
Manus引爆智能体复现潮！DeepSeek已被整合，项目挤满开源榜，海外大V排队求码
Manus的发布引发了智能体领域的广泛关注，带动了开源复现和商业闭源产品的快速发展。目前，两个开源项目——OpenManus和OWL——在Manus发布当天就推出了复现代码...
阿里开源新模型：媲美DeepSeek-R1，参数大降20倍！
阿里巴巴近日开源了其最新的大模型QwQ-32B，该模型支持Apache 2.0开源协议，允许商业化使用。QwQ-32B在多个主流测试基准中表现优异，能够与DeepSeek的R1-671B...
7B级形式化推理与验证小模型，媲美满血版DeepSeek-R1，全面开源！
随着大模型在形式化证明写作中的需求日益增长，形式化推理与验证（formal reasoning and verification）逐渐成为研究的焦点。然而，现有的形式化推理大模型大...
火山引擎一口气开源六个AI应用，新的转机来了
从春节后，各大公司纷纷发布最新模型，许多人感受到技术变革的浪潮，同时也思考如何深度参与其中，而不仅仅是使用现成产品。作者回顾了自己在移动互联网时代...
中国 AI 确实又“炸裂”了硅谷一回，不过是因为通义QwQ开源版
中国大模型领域在3月6日同时发生了两个引发广泛关注的AI事件：AI Agent产品Manus和阿里巴巴开源的通义千问QwQ-32B模型。虽然Manus被部分人称为“炸裂”成果，但...
