新智元报道  编辑：编辑部【新智元导读】日日新·商量大模型5.0最近的一波升级，已经震惊到国外科技圈了！实测之后，我们发现：它的推理、数学能力又有了螺旋式上升。周冠宇最近三年比赛的情况、你不知道的F1冷知识，AI数据库都让你所见即所得。中国的大模型，已经震惊了外国科技圈。这不，这几天商量大模型的

  新智元报道  编辑：编辑部【新智元导读】机器人大爆发的时代真的来了！就在昨天，国产全自研新一代AI机器人Astribot S1诞生了。S1可完成颠锅炒菜，分拣物品各种高难度任务，操作力足以媲美人类。值得一提的是，S1机器人已接入LLM测试，预计今年完成商业化。机器人养老，真的可以实现了？近半个月

  新智元报道  编辑：编辑部【新智元导读】奥特曼的斯坦福闭门演讲内容曝光了，可谓亮点频出：GPT-5会比GPT-4强得多，GPT-6还会更强；Scaling Law还未过时，我们远未达到这条曲线的顶端；谷歌用GPT-4复刻出Gemini很容易，但难的是新范式的创新。AI届大红人Altman在母校斯

  新智元报道  编辑：alan【新智元导读】近日，来自Meta的研究人员将Transformer用于解码真实世界的场景，并转化为几何表示，效果超越了传统的点云、网格或辐射场，只需70M参数，就能完成虚拟叠加现实的炫酷效果。抛弃传统方法，只采用Transformer来解码真实场景！近日，来自Meta

  新智元报道  编辑：编辑部【新智元导读】大模型这把火点燃了整个机器人行业的热情。纵观全世界，过去几个月，国内外大模型大厂和机器人初创公司的合作也是动作不断。看来，机器人的元年真的来了！大模型，已然卷入机器人领域。3月初，初创公司Figure发布了首个由OpenAI大模型加持的人形机器人Figur

  新智元报道  编辑：LRS【新智元导读】颜水成团队联合新加坡国立、南洋理工大学共同开源了Vitron模型，持从视觉理解到视觉生成、从低层次到高层次的一系列视觉任务，为下一代通用视觉大模型的终极形态奠定了基础，也标志着大模型迈向通用人工智能（AGI）的又一大步。近日，颜水成教授团队联合发布并开源了

  新智元报道  编辑：编辑部【新智元导读】最大开源模型，再次刷爆纪录！Snowflake的Arctic，以128位专家和4800亿参数，成为迄今最大的开源模型。它的特点，是又大又稀疏，因此计算资源只用了不到Llama 3 8B的一半，就达到了相同的性能指标。就在刚刚，拥有128位专家和4800亿参

  新智元报道  编辑：桃子 好困【新智元导读】2016年8月，老黄亲自向OpenAI捐出了自家第一台AI超算。8年后，这一历史性的一幕，再次在OpenAI上演。刚刚，世界首台DGX H200，由老黄亲自交付给OpenAI！这么一个值得纪念的时刻，当然要拍照了...这张奥特曼、Greg Brockm

  新智元报道  编辑：桃子【新智元导读】开源战在这半个月愈演愈烈。先是Llama 3，又到微软Phi-3，再到今天苹果发布的OpenELM。四种不同小参数版本全部上线，我们离iPhone装进大模型不远了。从Llama 3到Phi-3，蹭着开源热乎劲儿，苹果也来搞事情了。今天，苹果团队发布了Open

  新智元报道  编辑：编辑部【新智元导读】一切计算皆AI已成为行业共识。大模型参数规模从千亿走向万亿，从单一走向MoE，对算力的需求愈加庞大。我们需要理清的是，单芯片所带来的算力驱动已无法满足LLM发展。国内AI不行，是因为芯片不行？我们跟国外的差距，是因为和英伟达芯片的差距过大？最近，圈内有许多

  新智元报道  编辑：编辑部【新智元导读】刚刚，分子生物学界引爆核弹级消息：人类的DNA，已经能由AI重新改写了！初创公司Profluent宣布开源了世界首个AI设计基因编辑器，成功编辑了人类细胞中的DNA。这可太科幻了，如果有机会，你会选择「改造」自己的DNA吗？AI，能够重写人类基因组了？就在

  新智元报道  编辑：编辑部【新智元导读】多模态Llama 3还未发布，已经用在科幻中存在的AR眼镜上了！不仅能为你搭配衣服，还能打视频、实时翻译，只要你能想到的，它全能实现。科幻大片中的AR黑科技，竟走进了现实！就在刚刚，Meta自家的雷朋智能眼镜，已经开始支持多模态版的Llama 3了！要知道

  新智元报道  编辑：LRS【新智元导读】仅需一张照片加一段音频，即可生成具有精确唇音同步、逼真面部行为和自然头部运动的超逼真说话面部视频，并且生成速度快，512×512分辨率下，生成速率可达40帧，启动延迟可忽略不计。在人物说话的过程中，每一个细微的动作和表情都可以表达情感，都能向观众传达出无声

  新智元报道  编辑：编辑部【新智元导读】让陶哲轩大神赞不绝口的形式化研究神器Lean，运行LLM的推理却有个bug。最近，加州理工团队解决了这个bug，把80%以上的数学证明步骤，都自动化了！Lean Copilot，让陶哲轩等众多数学家赞不绝口的这个形式化数学工具，又有超强进化了？就在刚刚，加

  新智元报道  编辑：编辑部【新智元导读】前段时间，微软公布并开源了最新一代大模型WizardLM-2，号称性能堪比GPT-4。不过，还未上线一天，模型权重和公告全被删除了，原因竟是......上周，微软空降了一个堪称GPT-4级别的开源模型WizardLM-2。却没想到发布几小时之后，立马被删除

  新智元报道  编辑：LRS【新智元导读】想要做出一段能够「以假乱真的人物说话视频」的门槛到底低到什么程度了？仅需一张照片加一段音频，就能生成一段堪称真实到可怕的假视频，以后法庭上视频证据还有可信度吗？在人物说话的过程中，每一个细微的动作和表情都可以表达情感，都能向观众传达出无声的信息，也是影响生

  新智元报道  编辑：LRS【新智元导读】大模型最为人诟病的问题就是不透明、不可解释。谷歌的最新框架Patchscopes可以提供关于模型内部隐藏表征的自然语言解释，本文介绍了一些实战应用样例。虽然大型语言模型（LLM）在各种常见的自然语言处理任务中展现出了优异的性能，但随之而来的幻觉，也揭示了模

  新智元报道  编辑：编辑部【新智元导读】专业数据分析师要危了！国产首款金融数据分析AI诞生，数秒即可完成PB级金融数据「海底捞针」，普通用户无需编程就能搞定数据分析。在探索人工智能领域的浪潮中，针对个人消费者C端的AI解决方案的实际落脚点，似乎依旧沿着一条较为狭窄的路径发展。美国著名科技风投机构

  新智元报道  编辑：编辑部【新智元导读】在最新的播客访谈中，小扎又做了一把「开源英雄」，大方表示：花费100亿美元研发的模型，如果对人类安全且有益的话，他会选择开源。此外，他还表示是个悲观主义者，因为能源瓶颈，我们离AGI还有几十年的距离。如果你手头有一个价值100亿美元的AI模型，通过了安全测