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

关键词: AI新闻,AI芯片,英伟达,人工智能

正与三星共同研发HBM4。

关键词: AI新闻,ChatGPT,AI科研,AI数学

陶哲轩让ChatGPT把复杂的数学论文翻译成Lean代码，与AI合作完成形式化证明。AI能理解论文、写出正确命题，却常在关键处卡壳。经过人机配合，终于生成1125行被验证的证明。

关键词: AI新闻,AI套壳,套壳应用名单,AI套壳数据

如今，一位软件工程师 Teja Kusireddy 用数据扯开了这场“繁荣”背后的部分真相。他对 200 家 AI 公司进行了逆向工程、反编译代码，并追踪 API 调用，发现许多号称“颠覆性创新”的公司，其核心功能仍依赖第三方服务，只是在外层多套了一层“创新”的壳。市场宣传与实际情况之间的差距令人震惊。

关键词: AI新闻,ALife模拟系统,PD-NCA,模型训练

一直以来，关于人工生命（Artificial Life, ALife）的研究致力于回答这样一个问题：生命的复杂性能否在计算系统中自然涌现？

关键词: AI新闻,AI太空竞赛,AI太空算力,谷歌AI

英伟达和谷歌，抢着上天了！

关键词: AI新闻,银河通用,导航大模型,NavFoM

银河通用联合多所大学发布了全球首个跨本体全域环视导航基座大模型NavFoM，让机器人能自己找路，而不再依赖遥控，从而推动具身智能向规模化商业落地演进。

关键词: AI新闻,具身智能,GEN-0,Generalist

当前机器人领域，基础模型主要基于「视觉-语言预训练」，这样可将现有大型多模态模型的语义泛化优势迁移过来。但是，机器人的智能确实能随着算力和数据的增加而持续提升吗？我们能预测这种提升吗？

关键词: AI新闻,AI作图,Uniworld V2,UniWorld-R1

比Nano Banana更擅长P细节的图像编辑模型来了，还是更懂中文的那种。

关键词: AI新闻,Dreamer,AI大厂,人工智能

谷歌世界模型大牛Danijar Hafner宣布离任！他自2016年起开始在Google Brain实习，后又在DeepMind、Brain Team工作。他的经历颇具传奇色彩，曾获辛顿指导，还与Łukasz Kaiser、Ashish Vaswani等Transformer大佬有过交集。

关键词: AI新闻,OpenAI,AI算力,人工智能

OpenAI的1.4万亿算力订单，正式开启大甩卖。