最新版本的Mujoco——一款流行的基于物理的仿真器已经发布。这个版本的仿真速度更快，稳定性得到了大大提升，可以更好地帮助用户模拟各种物理现象。Mujoco是一种专门用于机器人学习的仿真器，它通过计算机模拟现实世界...

《华尔街日报》读者就人工智能在艺术创作中的角色展开了激烈的讨论。有些人怀疑人工智能是否具备情感深度，认为它只是另一个工具；而透明AI介入则是一个普遍的主题。

本文深入解析构建现代实时机器学习系统所需的所有组件。

证明助手工具（如Lean）是在计算机上形式化和证明数学概念的神奇方法。Morph Labs正在与许多团体合作建立开放式的证明助手。其第一个模型基于Mistral，极为高效，并有望帮助开启更多数学知识。

尽管GPT-4缺乏意识和长期记忆，但有充分的证据表明它能够推理和理解概念。GPT-4是人工智能领域中最先进的语言模型，它可以生成高质量的自然语言文本。尽管它缺少人类的智能，但它可以在多个领域表现出惊人的表现力。...

谷歌的DeepMind与33个研究所联手，共同开发了名为Open X-Embodiment的数据库，这个数据库相当于计算机视觉中的ImageNet数据库。这个数据库包含来自22种机器人类型的500多个技能和150,000个任务，旨在通过提供共享资...

计算机科学家们正在用GPT-4来解决长期存在的P=NP问题。来自微软和北京大学的一组研究人员引导GPT-4用一系列的提示来探索这个问题，采用苏格拉底式的方法，导致了一些启示，暗示P不等于NP。这种方法代表了提示工程的...

本文研究了LLMs（大型语言模型）如何像社会中的人们一样协同工作。研究人员制造了具有不同个性的计算机“社会”，并观察他们如何在任务中协作，发现他们有时会像人类一样行为，比如跟随多数人的意见或进行辩论。有些团...