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

AITNT-国内领先的一站式人工智能新闻资讯网站
# 热门搜索 #
搜索: 8
告别「2D错觉」,SpatialActor通过解耦语义与几何,为具身智能注入强鲁棒空间基因

告别「2D错觉」,SpatialActor通过解耦语义与几何,为具身智能注入强鲁棒空间基因

告别「2D错觉」,SpatialActor通过解耦语义与几何,为具身智能注入强鲁棒空间基因

作者在包含 50 多个任务的多个仿真和真实世界场景中评估了 SpatialActor。它在 RLBench 上取得了 87.4% 的成绩,达到 SOTA 水平;在不同噪声条件下,性能提升了 13.9% 至 19.4%,展现出强大的鲁棒性。目前该论文已被收录为 AAAI 2026 Oral,并将于近期开源。

来自主题: AI技术研报
7385 点击    2025-12-06 10:59
刚刚,2026年英伟达奖学金名单公布,华人博士生霸榜占比80%

刚刚,2026年英伟达奖学金名单公布,华人博士生霸榜占比80%

刚刚,2026年英伟达奖学金名单公布,华人博士生霸榜占比80%

一年一度的英伟达奖学金出炉了。二十五年来,英伟达研究生奖学金计划(NVIDIA Graduate Fellowship Program)一直为研究生提供与英伟达技术相关的杰出工作支持。

来自主题: AI资讯
8005 点击    2025-12-06 10:56
656行代码5小时搞定,Axiom AI自主完成两项Erdős猜想形式化证明

656行代码5小时搞定,Axiom AI自主完成两项Erdős猜想形式化证明

656行代码5小时搞定,Axiom AI自主完成两项Erdős猜想形式化证明

近日,AI 初创公司 Axiom 宣布其模型在没有人类干预的情况下,自动完成了两个数学猜想的证明——埃尔德什问题(Erdős Problem)中的 481 号和 124 号。据称,481 号问题仅用时 5 小时,代码量为 656 行;124 号问题则耗时超 24 小时。值得关注的是,这些证明均通过 Lean 验证,Lean 的特点是其形式化证明过程无需人工干预,为数学正确性提供了保障。

来自主题: AI资讯
8039 点击    2025-12-05 14:49
Lovart悄悄上的这个新功能,就是我心中设计的神。

Lovart悄悄上的这个新功能,就是我心中设计的神。

Lovart悄悄上的这个新功能,就是我心中设计的神。

我,氪了玩AI以来,单次付费最大的一单。在Lovart黑五4折的最后10分钟,还是没忍住,氪了Lovart的最高等级的年费会员。948刀,干了我将近7000大洋。在犹豫挣扎了很久之后,还是毅然决然的氪了。

来自主题: AI资讯
8090 点击    2025-12-05 09:23
一个 AI = 1000 个客服?2100万美元融资,丹麦AI创业公司Parahelp凭什么让 Perplexity、Replit 抢着用?

一个 AI = 1000 个客服?2100万美元融资,丹麦AI创业公司Parahelp凭什么让 Perplexity、Replit 抢着用?

一个 AI = 1000 个客服?2100万美元融资,丹麦AI创业公司Parahelp凭什么让 Perplexity、Replit 抢着用?

最近,这家由两位丹麦年轻创始人打造的公司宣布完成了 1800 万美元的 A 轮融资,由 Alt Capital 的 Jack Altman 领投。加上此前 320 万美元的种子轮,Parahelp 总共融资超过 2100 万美元。更有意思的是,他们的客户流失率为零。是的,你没看错,零流失率。在 SaaS 领域,这几乎是不可能完成的任务。这让我非常好奇:他们到底做对了什么?

来自主题: AI资讯
8212 点击    2025-12-04 15:00
马斯克开「AI救国猛药」:3年解决美38万亿国债危机!

马斯克开「AI救国猛药」:3年解决美38万亿国债危机!

马斯克开「AI救国猛药」:3年解决美38万亿国债危机!

马斯克放出豪言:3年内,AI+机器人能解决美国债务!几乎在同一时间,华尔街却悄悄抛弃了英伟达,重新押注下一代算力架构。

来自主题: AI资讯
9416 点击    2025-12-03 09:53