AI资讯新闻榜单内容搜索-AI

AITNT-国内领先的一站式人工智能新闻资讯网站
# 热门搜索 #
搜索: AI
具身智能“奇点”将至,商业化落地还有几道槛?

具身智能“奇点”将至,商业化落地还有几道槛?

具身智能“奇点”将至,商业化落地还有几道槛?

人形机器人的此时此刻,恰如2019年自动驾驶爆发前夕。 在1927年上映的《大都会》中,全世界第一部包含人形机器人的角色Maria诞生。

来自主题: AI资讯
4858 点击    2024-09-28 11:03
OpenAI 高管离职潮内幕曝光,员工大批 Altman:爱赚钱,也爱「宫斗」

OpenAI 高管离职潮内幕曝光,员工大批 Altman:爱赚钱,也爱「宫斗」

OpenAI 高管离职潮内幕曝光,员工大批 Altman:爱赚钱,也爱「宫斗」

深陷高管离职风波的 OpenAI 最近点燃了吃瓜群众的热情。 一边是被曝投后估值高达 1500 亿美元,成为全球 AI 独角兽中最靓的崽,一边却是连丢三名技术大咖,在职的创业元老几乎只剩下 Altman 这么一个光棍司令,这两天的 OpenAI 堪称冰火两重天。

来自主题: AI资讯
4810 点击    2024-09-28 11:00
当代年轻人,在AI中实现婚纱照自由

当代年轻人,在AI中实现婚纱照自由

当代年轻人,在AI中实现婚纱照自由

AI功能生成的婚纱照,几乎能够以假乱真,不少个性且精美的特效,更是超越现实,完美契合当代年轻人的个性需求。

来自主题: AI资讯
6722 点击    2024-09-28 10:55
为什么伟大不能被计划?亲历者揭秘 OpenAI 崛起的关键

为什么伟大不能被计划?亲历者揭秘 OpenAI 崛起的关键

为什么伟大不能被计划?亲历者揭秘 OpenAI 崛起的关键

我们被倡导要想明白自己的目标是什么、并做出计划。然而,两位人工智能研究者却认为,这只适用于普通的小愿望。 一旦涉及过于高远的、不确定能否实现的目标,比如打造 AGI(通用人工智能)、登月计划等等——那么根据兴趣进行自由的、开放性的探索,才更能实现想要的。

来自主题: AI资讯
4466 点击    2024-09-28 10:51
软件公司与OpenAI在AI代理领域激烈竞争

软件公司与OpenAI在AI代理领域激烈竞争

软件公司与OpenAI在AI代理领域激烈竞争

即使企业在努力弄清楚人工智能聊天机器人如何帮助其运营时,他们也正被一种新的人工智能产品淹没:可以独立采取行动的聊天机器人,如安排预约,也称为人工智能代理。

来自主题: AI资讯
6899 点击    2024-09-27 21:11
形式化定理证明新突破:SubgoalXL框架让大模型在Isabelle中性能暴涨

形式化定理证明新突破:SubgoalXL框架让大模型在Isabelle中性能暴涨

形式化定理证明新突破:SubgoalXL框架让大模型在Isabelle中性能暴涨

在这种背景下,研究团队提出了一个全新的框架:SubgoalXL,结合了子目标(subgoal)证明策略与专家学习(expert learning)方法,在 Isabelle 中实现了形式化定理证明的性能突破。

来自主题: AI技术研报
6117 点击    2024-09-27 20:57