【20240424】每日科技观察

煤油灯科技2024-04-24 16:52

  1. 加州理工团队解决了形式化研究神器Lean运行LLM推理时的核心技术挑战,可以让LLM在Lean中提出证明策略,允许人类以无缝的方式干预和修改。
  2. 三星半导体宣布,其第九代1Tb TLC V-NAND闪存已开始量产。第九代V-NAND闪存凭借其超小的单元尺寸和极致的叠层厚度,实现了比上一代产品高约50%的位密度。新技术的运用,如单元干扰避免和单元寿命延长,不仅提升了产品的质量和可靠性,而且通过消除虚通道孔显著减少了存储单元的平面面积。
  3. 微软公司宣布,旗下视频编辑工具Clipchamp 正式上线AI新功能Silence Removal,可筛选出音轨中的无声部分。
  4. Meta开源最新Llama 3系列,阿里云魔搭社区第一时间上架全部4款模型。4月22日,阿里云百炼大模型服务平台宣布在国内推出针对Llama 3系列的限时免费训练、部署、推理服务,系国内首家。企业和开发者即日起即可在阿里云上基于其打造自己的专属大模型。
  5. 华为 HarmonyOS 官方今日宣布:国民级重磅民生应用官宣拥抱鸿蒙生态,铁路 12306 完成鸿蒙原生应用核心版本开发。未来,鸿蒙星河版铁路 12306 App 将借助实况窗通知以及全场景设备的信息流转等功能,为广大乘客提供更便利高效的出行乘车体验。
  6. 百度Apollo宣布推出一款全新的纯视觉城市领航辅助驾驶产品——ANP3 Pro,这一创新产品的发布,标志着高阶城市智能驾驶的硬件成本正式进入万元时代。
  7. 科大讯飞对外宣布旗下讯飞星火大模型即将于4月26日推出V3.5的更新版本,首个支持长文本、长图文、长语音的大模型正式上新。此外,星火图文识别大模型、多情感超拟人合成、一句话复刻也将在此次更新中首发。
  8. 苹果公司正在研发一种运行于设备端的大型语言模型(LLM),该模型将优先保证响应速度和隐私保护能力。
  9. 近日,英伟达CEO黄仁勋出席CadenceLIVE Silicon Valley 2024活动,并于Catence总裁兼CEO阿尼鲁德・德夫甘进行了“围炉谈话”。黄仁勋在对话中预测,在不久的将来,“人形机器人”这一全新类别设备将成为大众化制品,其制造成本将会“远低于”人们的预期。
  10. 微软正通过招募行业人才来加强其人工智能超级计算团队的实力。周一,微软首席技术官 Kevin Scott 在领英上发帖宣布,前 Meta 高管 Jason Taylor 将加入微软,担任企业副总裁兼 CTO 副手,帮助公司“构建下一代系统,推动人工智能前沿的发展”。

你可能也喜欢这些文章

科技互联网,科技,资讯,动态,洞察,量子,计算,AI,人工智能,机器人,区块链,Web3,分布式,操作系统,OS,芯片,视频,深度,论文