搜索
深陷高管离职风波的 OpenAI 最近点燃了吃瓜群众的热情。 一边是被曝投后估值高达 1500 亿美元，成为全球 AI 独角兽中最靓的崽，一边却是连丢三名技术大咖，在职的创业元老几乎只剩下 Altman 这么一个光棍司令，这两天的 OpenAI 堪称冰火两重天。
AI功能生成的婚纱照，几乎能够以假乱真，不少个性且精美的特效，更是超越现实，完美契合当代年轻人的个性需求。
我们被倡导要想明白自己的目标是什么、并做出计划。然而，两位人工智能研究者却认为，这只适用于普通的小愿望。 一旦涉及过于高远的、不确定能否实现的目标，比如打造 AGI（通用人工智能）、登月计划等等——那么根据兴趣进行自由的、开放性的探索，才更能实现想要的。
AI 视频生成器需要相信电影制作人会在制作过程中使用他们的模型。否则，存在的意义何在？
即使企业在努力弄清楚人工智能聊天机器人如何帮助其运营时，他们也正被一种新的人工智能产品淹没：可以独立采取行动的聊天机器人，如安排预约，也称为人工智能代理。
自动驾驶领域又有了新的玩家。不过这个玩家并不陌生，就是“天才少年”侯晓迪。
做了那么多AI应用，谁来用？第一波用户从哪来？如何持续不断地获得用户反馈？
在这种背景下，研究团队提出了一个全新的框架：SubgoalXL，结合了子目标（subgoal）证明策略与专家学习（expert learning）方法，在 Isabelle 中实现了形式化定理证明的性能突破。
RTX 50 系列的发布日期可能会在明年初。
2020 年，谷歌发表了预印本论文《Chip Placement with Deep Reinforcement Learning》，介绍了其设计芯片布局的新型强化学习方法。后来在 2021 年，谷歌又发表在 Nature 上并开源了出来。