只要一个3B参数的大模型，就能控制机器人，帮你搞定各种家务。 叠衣服冲咖啡都能轻松拿捏，而且全都是由模型自主控制，不需要遥控。 关键是，这还是个通用型的机器人控制模型，不同种类的机器人都能“通吃”。
首款M4 Mac、「全世界最好的AI一体机」终于来了！同时，苹果AI也正式上线，iOS 18.1、iPadOS 18.1和macOS Sequoia 15.1用户，已经可以体验首批Apple Intelligence功能了……库克直呼：激动人心的新时代开始了！
iOS带着ChatGPT来了 苹果开发者测试版系统上新！更多Apple Intelligence功能已经可用了，包括ChatGPT集成。 iOS 18终于带着ChatGPT来了。
「我们的 Blackwell 芯片存在设计缺陷，虽然可以正常使用，但该设计缺陷导致良率低下，」黄仁勋表示。「这 100% 是英伟达的错。」
开发由人工智能驱动的物理机器人竞赛再次开始，尽管该行业有着失败的记录——以及 OpenAI 在对话式人工智能方面的主导地位可能成为更大竞争对手的威胁。
微软发布了 Copilot，Apple 将 Apple Intelligence 接入了 OpenAI 以增强 Siri。
在解释英伟达为何放弃Arm而选择收购Mellanox时，黄仁勋称文化融合充满了挑战。
未来的大模型，或许都是 A 卡来算的？ 从 PC 端到服务器，AMD 一次发布就完成了对 AI 计算的全覆盖。 今天凌晨，AMD 首席执行官苏姿丰（Lisa Su）在旧金山举行的 Advancing AI 2024 活动上发布了全新一代 Ryzen CPU、Instinct AI 计算卡、EPYC AI 芯片等一系列产品。
该研究主要探讨了大语言模型的全局剪枝方法，旨在提高预训练语言模型的效率。该成果的发表为大模型的剪枝与优化研究提供了新的视角，并在相关领域具有重要的应用潜力。
在这种背景下，研究团队提出了一个全新的框架：SubgoalXL，结合了子目标（subgoal）证明策略与专家学习（expert learning）方法，在 Isabelle 中实现了形式化定理证明的性能突破。
