资讯列表
一年秀一次！稚晖君的人形机器人上新了，还有开源、免费彩蛋
一年一秀，稚晖君的第二代人形机器人来了。灵巧小手，正在麻将桌上叱咤风云：不对不对，让我们先看看整体气质：然后是常规家务，能看出来也是非常熟练：在大模型风靡的 2024 年，如果说 AI 领域什么最火，「具身智能」这个方向必定位列其中。视线放到国内，「智元机器人」这家具身智能公司备受瞩目。自 2023 年 2 月成立以来，「智元机器人」已马不停蹄地完成了 6 轮融资，迅速成为机器人创业圈的「顶流项目」。创业半年，稚晖君和团队就拿出了首款产品「远征 A1」。一出道，「远征 A1」的行走能力和人机互动就是业界领先水平。不
波士顿动力技术揭秘：后空翻、俯卧撑与翻车，6年经验、教训总结
为什么波士顿动力的人形机器人能完成跑酷、后空翻等高难度动作？为什么有时候它会翻车？工程师从中总结的经验、教训都在这里了。今年 4 月，著名机器人公司波士顿动力跟全世界开了一个玩笑，先是官宣人形机器人 Atlas 退役，狠狠来了一波回忆杀。 退役的 Atlas。紧接着，就在第二天，他们又放出了一个新的人形机器人视频。新机器人也叫 Atlas，不过由原来的液压改为了电动，身材更为小巧、灵活。此时，外界才反应过来，原来波士顿动力并不是要放弃人形机器
给RAG系统做一次全面「体检」，亚马逊开源RAGChecker诊断工具
AIxiv专栏是AI在线发布学术、技术内容的栏目。过去数年，AI在线AIxiv专栏接收报道了2000多篇内容，覆盖全球各大高校与企业的顶级实验室，有效促进了学术交流与传播。如果您有优秀的工作想要分享，欢迎投稿或者联系报道。投稿邮箱：[email protected]；[email protected]亚马逊上海人工智能研究院成立于 2018 年，已成为深度学习研究领域的领先机构之一，共发表了～90 篇论文。研究领域包括深度学习的基础理论、自然语言处理、计算机视觉、图机器学习、高性能计算
智元姜青松：双足人形机器人 10 月开始量产，预计今年出货量 200 台左右
智元机器人今日举行“智元远征商用启航”智元 2024 年度新品发布会。发布会带来了“远征”与“灵犀”两大家族共计五款商用人形机器人新品，包括：远征 A2、远征 A2-W、远征 A2-Max、灵犀 X1 及灵犀 X1-W。▲ 图源智元机器人官方据钛媒体报道，智元机器人合伙人兼营销服副总裁姜青松今日表示，智元双足人形机器人今年 10 月份开始量产，后期预计一个月生产 100 台，今年预计出货量 200 台左右，轮式机器人预计出货 100 台左右。AI在线查询获悉，智元机器人（AgiBot）成立于 2023 年 2 月
ChatGPT后，人工智能的终极里程碑却倒了
大模型的拟人行为，在让我们产生恐怖谷效应。「图灵测试是一个糟糕的测试标准，因为对话能力和推理完全是两码事。」最近几天，AI 圈里一个新的观点正在流行。如今已是生成式 AI 时代，我们评价智能的标准该变了。「机器能思考吗？」这是艾伦・图灵在他 1950 年的论文《计算机器与智能》中提出的问题。图灵很快指出，鉴于定义「思考」的难度，这个问题「毫无意义，不值得讨论」。正如哲学辩论中常见的做法，他建议用另一个问题代替它。图灵设想了一个「模仿游戏」，在这个游戏中，一位人类评判员分别与一台计算机和一名人类（陪衬者）对话，双方都
DeepSeek开源数学大模型，高中、大学定理证明新SOTA
DeepSeek-Prover-V1.5 通过结合强化学习和蒙特卡洛树搜索，显著提升了证明生成的效率和准确性。AI 技术与数学发现的进展，正前所未有地交织在一起。前段时间，著名数学家陶哲轩在牛津数学公开讲座中做了主题为「AI 在科学和数学中的潜力」的主题分享。他指出，将 AI 整合到数学领域将使形式化证明的编写速度超过人类证明（人类证明容易出错）。这将成为一个关键转折点，意味着形式化证明的使用将不仅限于验证现有的证明，还将用于创造新的数学知识。这将通过广泛的人类数学家与 AI 数学家之间的协作来实现。我们将迎来一个
Nature子刊 | 基于内生复杂性，自动化所新类脑网络构筑人工智能与神经科科学的桥梁
AIxiv专栏是AI在线发布学术、技术内容的栏目。过去数年，AI在线AIxiv专栏接收报道了2000多篇内容，覆盖全球各大高校与企业的顶级实验室，有效促进了学术交流与传播。如果您有优秀的工作想要分享，欢迎投稿或者联系报道。投稿邮箱：[email protected]；[email protected]本篇工作发表在《Nature Computational Science》上，共同通讯作者是中国科学院自动化所李国齐研究员、徐波研究员，北京大学田永鸿教授。共同一作是清华大学钱学森班的本科
AI成为「耗电大户」，除了新能源，还需要芯片创新
人工智能的普及造成了一场能源危机，但并不是无法解决。人工智能（AI）的爆炸式增长促使科技巨头（包括 Google、Meta、亚马逊和微软等）开始构建超大规模数据中心，这些数据中心需要的电力非常多 —— 是以千兆瓦计算而不是兆瓦。有分析师表示，这些巨型数据中心使用现有的半导体技术来挑战美国老化的电网基础设施，以满足其能源消耗需求。例如，高盛估计仅对 ChatGPT 的一次查询所消耗的数据中心电能就比语音识别等传统人工智能功能多 10 倍，因此我们需要更强大的数据中心来支持这种需求。如今，生成式 AI（GenAI）处于
马斯克畅想未来：人类记忆可上传至云端并下载至机器人
特斯拉 CEO 埃隆・马斯克于当地时间 8 月 17 日在社交媒体上表示，未来人类可能能够将自己的记忆和意识上传到云端，并下载到人形机器人身上。马斯克是在回应一位特斯拉粉丝关于是否可以将大脑复制到 Optimus 上以延长生命的问题时做出上述表述的，他称，“最终，你可能能够将自己的大部分记忆和思维状态上传到‘云端’，并能够将其下载到一个人形机器人身上。显然，你不会完全和现在一样。”特斯拉于 2021 年首次推出 Optimus，最初目标是处理危险、重复或繁琐的任务。但马斯克随后表示，Optimus 还可以作为伴侣、
AIGC大厂实战！京东家政如何将AI融入设计流程？
AIGC作为现阶段设计领域的潮流风向标，正快速的影响着设计行业。本次为大家带来京东家政AIGC的实践经验与思考，探讨如何将AI工具引入设计流程之中。通过一系列尝试，不仅实现了工作效率的大幅提升，更在保持设计独特性与高质量输出的同时，为业务项目注入了新的可能性与竞争力。
因未经许可抓取 YouTube 内容训练模型，英伟达遭视频创作者起诉
感谢综合 Legal Dive 及 404 Media 16 日报道，当地时间周三，YouTube 创作者大卫・米勒特 (David Millette) 对英伟达公司提起集体诉讼，声称英伟达从他和其他人的视频中获取丰厚利润，违反了加州的《不正当竞争法》，并以牺牲他和其他创作者的利益为代价，使公司“不当得利”。这名 YouTube 创作者声称，英伟达未经他和其他创作者的许可，基于从 YouTube 上抓取的内容建立了一个新的视频模型，不公正地敛财并违反了《联邦劳动法》。而在两周前，这名创作者对 OpenAI 提起了类
蜘蛛侠妖娆起舞，下一代 ControlNet 来了！贾佳亚团队推出，即插即用，还能控制视频生成
只用不到 10% 的训练参数，就能实现 ControlNet 一样的可控生成！而且 SDXL、SD1.5 等 Stable Diffusion 家族的常见模型都能适配，还是即插即用。同时还能搭配 SVD 控制视频生成，动作细节控制得精准到手指。在这些图像和视频的背后，就是港中文贾佳亚团队推出的开源图像 / 视频生成引导工具 ——ControlNeXt。从这个名字当中就能看出，研发团队给它的定位，就是下一代的 ControlNet。像大神何恺明与谢赛宁的经典大作 ResNeXt（ResNet 的一种扩展），起名字也是
Exists 发布新 AI 平台：零编程经验者也可制作高质量 3D 游戏
AI 初创公司 Exists 于 8 月 15 日发布新闻稿，介绍最新上线的生成式 AI 平台，没有任何编程经验的用户通过文本输入，就能创建高质量的 3D 游戏。 该公司创始人兼首席执行官约塔姆・赫特林格博士（Dr. Yotam Hechtlinger）表示：我们的目标是像文本、图像、视频和音频创作一样，让生成式 AI 在游戏领域带来范式转变。根据官方公布的宣传视频，整个游戏 AI 工具易于上手，在生成后用户还能指令调整细节。不过这款 AI 目前也有局限性，人脸建模看起来有点不自然，这一点可以在 0:43 分钟体现
小而强，英伟达剪枝、蒸馏出 Llama-3.1-Minitron 4B AI 模型
英伟达公司联合 Meta 公司发布了最新的 Llama-3.1-Minitron 4B AI 模型，主要通过结构化权重剪枝、知识提炼等尖端技术，成功蒸馏（Distill）出 40 亿参数的“小而强”模型。图源：英伟达Llama-3.1-Minitron 4B 模型在 Llama-3.1-Minitron 8B 基础上蒸馏而来，英伟达在深度和宽度方向上使用了结构化剪枝技术。AI在线注：剪枝是一种删除网络中不那么重要的层或神经元的技术，保留其性能的情况下，目的是减小模型的大小和复杂度。英伟达通过从模型中删除 16 层来
中科院联合清华北大构建新型类脑网络，构筑 AI 和神经科学的桥梁
据“中国科学院自动化研究所”消息，该所李国齐、徐波研究团队联合清华大学、北京大学等借鉴大脑神经元复杂动力学特性，提出了“基于内生复杂性”的类脑神经元模型构建方法，改善了传统模型通过向外拓展规模带来的计算资源消耗问题，为有效利用神经科学发展人工智能提供了示例。相关研究论文今日在线发表于《自然・计算科学》（Nature Computational Science）。AI在线附研究主要内容：据介绍，本研究首先展示了脉冲神经网络神经元 LIF（Leaky Integrate and Fire）模型和 HH（Hodgkin-
准确率97%，将大脑信号转化为语音，新型脑机接口让失语者「说话」
编辑 | 萝卜皮肌萎缩性脊髓侧索硬化症又称渐冻人症（ALS），会影响控制全身运动的神经细胞。这种疾病会导致患者逐渐丧失站立、行走和使用双手的能力。它还会导致患者失去对说话肌肉的控制，从而无法进行语言表达。加州大学戴维斯分校的研究团队开发了一项新技术旨在帮助因瘫痪或 ALS 等神经系统疾病而无法说话的人恢复交流能力。它可以解读用户说话时的脑信号，并将其转换成计算机大声朗读的文本。其准确率高达 97%，是同类系统中最准确的。该团队的研究人员在一名因 ALS 而导致语言能力严重受损的男子的大脑中植入了传感器。这名男子在启
从头设计抗体，腾讯、北大团队预训练大语言模型登Nature子刊
编辑 | KXAI 技术在辅助抗体设计方面取得了巨大进步。然而，抗体设计仍然严重依赖于从血清中分离抗原特异性抗体，这是一个资源密集且耗时的过程。为了解决这个问题，腾讯 AI Lab、北京大学深圳研究生院和西京消化病医院研究团队提出了一种预训练抗体生成大语言模型 (PALM-H3)，用于从头生成具有所需抗原结合特异性的人工抗体 CDRH3，减少对天然抗体的依赖。此外，还设计了一个高精度的抗原-抗体结合预测模型 A2binder，将抗原表位序列与抗体序列配对，从而预测结合特异性和亲和力。总之，该研究建立了一个用于抗体生
何必死磕人形，云迹科技押注复合多态机器人「UP」：让具身智能走进百姓生活
人工智能时代，我们需要什么样的AI？