搜索
我们被倡导要想明白自己的目标是什么、并做出计划。然而，两位人工智能研究者却认为，这只适用于普通的小愿望。 一旦涉及过于高远的、不确定能否实现的目标，比如打造 AGI（通用人工智能）、登月计划等等——那么根据兴趣进行自由的、开放性的探索，才更能实现想要的。
AI 视频生成器需要相信电影制作人会在制作过程中使用他们的模型。否则，存在的意义何在？
即使企业在努力弄清楚人工智能聊天机器人如何帮助其运营时，他们也正被一种新的人工智能产品淹没：可以独立采取行动的聊天机器人，如安排预约，也称为人工智能代理。
自动驾驶领域又有了新的玩家。不过这个玩家并不陌生，就是“天才少年”侯晓迪。
做了那么多AI应用，谁来用？第一波用户从哪来？如何持续不断地获得用户反馈？
在这种背景下，研究团队提出了一个全新的框架：SubgoalXL，结合了子目标（subgoal）证明策略与专家学习（expert learning）方法，在 Isabelle 中实现了形式化定理证明的性能突破。
RTX 50 系列的发布日期可能会在明年初。
2020 年，谷歌发表了预印本论文《Chip Placement with Deep Reinforcement Learning》，介绍了其设计芯片布局的新型强化学习方法。后来在 2021 年，谷歌又发表在 Nature 上并开源了出来。
看过剧版《三体》的读者或许都记得一个名场面：来自三体的智子封锁了人类科技，还向地球人发出了「你们是虫子」的宣告。但没有超能力的普通人史强却在蝗群漫天飞舞的麦田中喊出：「把我们人类看成是虫子的三体人，他们似乎忘了一个事实，那就是虫子从来就没有被真正地战胜过」。
香港中文大学等机构的研究团队通过深度强化学习（DQN）开发了一种3D打印路径规划器，有效提升了打印效率和精度，为智能制造开辟了新途径。