搜索
人工智能虽然其提供了广泛的信息，却缺乏解决复杂问题所需的深入、结构化的推理能力，同时还存幻觉的局限。形式逻辑和相关数学工具为 AGI 的逻辑推理能力提供了必要的理论基础和技术支撑。
Teleo 自称是一家建筑机器人初创公司，但它的使命远不止于自动化挖掘机和拖拉机等重型设备。如今，Teleo 的改装机械使其客户能够半自主地操作现有车队。在未来，这家初创公司将其收集的数据视为机器人行业实现“ChatGPT 时刻”的关键推动力。
根据一份 SEC 文件 Crusoe Energe ，一家正在建设数据中心的初创公司，据报道将租赁给甲骨文、微软和 OpenAI，正在筹集 8.18 亿美元。
大自然擅长设计蛋白质。科学家甚至更擅长，人工智能（AI）有望帮助人类多次实现定向蛋白质进化。
千帆社区开发者黄定骅现身解读参加「千帆AppBuilder-智能硬件AIOT创意赛第一期」的心路历程。
研究问题：这篇文章研究了如何在基于文本的在线同伴支持平台中，通过人工智能（AI）与人类协作，提高同伴之间的同理心对话质量。
Copilot 正成为 AI 代码产品的主力军。
近日，DeepMind 团队将水印技术和投机采样（speculative sampling）结合，在为大语言模型加入水印的同时，提升其推理效率，降低推理成本，因此适合用于大规模生产环境。
李飞飞谈到的空间智能，被这家中国独角兽补上关键一环。
今天凌晨，新晋诺贝尔化学奖得主、DeepMind 创始人哈萨比斯参与撰写的新论文登上了 Nature，主题是如何更准确地识别并纠正量子计算机内部的错误。