Meta将于23日发布4050亿参数Llama3模型 机械臂公司获6300万美元融资

今天的AI与科技圈，依旧是资本涌动、新品迭出的一天。从制造业的机械臂到临床医生的AI助手，从边缘计算到网络安全，一笔笔融资背后，是技术落地场景的不断拓宽。与此同时，大厂们也没闲着，从开源模型到购物助手，从视频理解到机器人导航，一场围绕下一代AI基础设施与应用体验的竞赛正酣。话不多说，一起来看看今日份的硬核情报。

今日融资快报

机械臂公司 Standard Bots 获 6300 万美元融资，亚马逊、三星等参投

为制造业和物流业开发机械臂的初创公司 Standard Bots Inc.，刚刚完成了6300万美元的B轮融资。这轮由 General Catalyst 领投，值得注意的是，亚马逊工业创新基金和三星旗下的 Samsung Next 也出现在了投资方名单中，足见产业资本对实体自动化赛道的持续看好。

AI临床洞察平台Regard获得6100万美元B轮融资

来自洛杉矶的Regard，是一个旨在为临床医生提供AI辅助洞察的平台。它的核心思路很明确：通过AI自动处理患者数据，帮助医生节省文书时间，甚至能根据临床指南进行审计核查。去年，他们宣布与OpenAI合作，基于GPT-4构建了名为Max的聊天机器人，进一步强化了其产品能力。创始人Eli Ben-Joseph拥有麻省理工和斯坦福的复合背景，公司近日获得了由Techstars、Calibrate Ventures等机构投资的6100万美元B轮资金。

边缘计算平台提供商Armada获得4000万美元战略投资，微软领投

Armada这家公司的愿景很宏大：在全球任何地方提供互联网连接和计算服务。其移动边缘计算平台最初专注于为远程设备部署AI计算工具，目前业务已覆盖43个国家。此次4000万美元的战略融资由微软领投，资金将主要用于开发针对SpaceX星链（Starlink）网络优化的移动数据中心。此前，SpaceX的早期投资者Founders Fund曾领投其5500万美元融资，产业链的协同效应愈发清晰。

网络调查平台Command Zero获2100万美元融资

网络安全领域再添新玩家。总部位于奥斯汀的Command Zero，提供了一个自主且用户主导的网络调查平台。它试图解决的是复杂企业环境中的安全运营难题，通过将专家经验、自动化流程与大语言模型结合在一个统一的数据模型上，提升安全分析师调查威胁的速度与准确性。本轮2100万美元的种子轮融资由 Andreessen Horowitz 领投，Insight Partners及数十位行业资深人士跟投，阵容堪称豪华。

情境 AI 助手Medal融资1300万美元，用于打造桌面上下文AI助手

以游戏视频剪辑工具闻名的Medal，最近有了新动作。他们推出了一款名为Highlight的跨平台桌面应用，其核心功能是捕捉屏幕内容，并允许用户基于当前屏幕情境向大语言模型提问，扮演一个真正的“情境AI助手”。公司宣布已从Horizons Ventures、OMERS Ventures等机构融资1300万美元，估值达到3.33亿美元。

AI建筑平台Buildots获 1500 万美元融资，英特尔领投

用AI改造传统建筑业，Buildots是其中的代表。它利用计算机视觉技术自动化跟踪施工现场进度，为管理团队提供数据洞察和预测性指标，目标是减少项目延误、提升效率。本轮1500万美元融资由英特尔资本领投，融资完成后，英特尔投资总监将作为董事会观察员加入。

Product Hunt 热榜产品Wanderboat AI获得数百万美元种子轮投资

旅行规划是个高频且个性化的需求，Wanderboat AI想用AI来搞定它。这个由GPT-4驱动的平台，通过与用户对话理解偏好，生成定制行程，并将景点、餐厅、地图、点评等信息一站式整合。其创始团队背景亮眼，均来自微软核心AI产品线。公司已获得美国红杉资本的种子轮投资，并得到了Lepton AI创始人贾扬清的公开肯定。

全链AI聚合器Aidatify获得830万美元种子轮融资

在DeFi（去中心化金融）领域，数据洞察就是竞争力。Aidatify作为一个全链AI聚合器，旨在通过识别模式、预测趋势，为用户在DeFi领域的决策提供关键见解。该公司以1.5亿美元估值完成了830万美元的首轮融资。

AI游戏开发Iconic AI获 400 万美元融资，用AI彻底改变游戏开发

位于伦敦的Iconic AI立志成为一家AAA级游戏工作室，而其杀手锏正是AI。他们希望通过集成AI来简化游戏制作流程，从而降低传统开发所需的巨大规模和成本。创始人John Lusty拥有20年高级软件工程经验，团队背景深厚。本轮400万美元融资吸引了包括DeepMind、OpenAI、迪士尼等公司现任及前任高管的个人投资。

AI法律平台PointOne获350 万美元种子轮融资

律师的时间记录与计费工作繁琐且必要。PointOne利用AI自动化这一流程，从律师使用的各种应用程序中捕获数据，自动生成完整的时间记录。公司由参加过Y Combinator W24项目的创始人领导，本轮融资方包括Bessemer Venture Partners、8VC、General Catalyst和Y Combinator等知名机构。

AI编程Recurse ML获250万美元种子轮融资

Recurse ML的愿景颇具碘伏性：它希望创建一种新的编程范式，将代码库的维护工作完全通过AI袋里从开发者手中抽象出来。该平台专为企业环境构建，旨在通过自动化繁琐任务来简化开发流程。两位创始人相识于Entrepreneur First，拥有牛津和剑桥的学术背景。本轮250万美元种子轮融资由seedcap与Playfair共同领投。

今日大厂风闻

智谱AI开源推出视频理解模型 CogVLM2-Video

智谱AI在视频理解领域有了新进展。他们提出了一种基于视觉模型的自动时间定位数据构建方法，并生成了3万条相关数据。基于此，他们训练出了新的视频理解模型CogVLM2-Video，该模型能够处理多帧视频图像和时间戳信息。

发信息就能用的 AI 大模型，中国电信推出“星辰慧答”

大模型的使用门槛正在以意想不到的方式降低。中国电信推出了“星辰慧答”服务，用户只需向特定号码发送信息，即可体验AI的智能交互，包括语言理解、文本生成、知识问答等功能。该服务通过信息信令通道传输数据，不依赖网络信号稳定性，且回复内容免费。

腾讯AI实验室项目vta-ldm：输入视频生成对齐音频

腾讯AI实验室发布了一个名为VTA-LDM的新模型，能够生成与输入视频在语义和时间上均相匹配的音频。研究团队结合了多种技术以确保生成音频的准确性与同步性，实验结果显示其在该任务上表现出色。项目已在GitHub开源。

OpenAI 严厉「封口协议」再遭举报

OpenAI再次陷入争议。一位举报人向美国证券交易委员会提交信函，指控OpenAI利用过于严格的员工协议，非法禁止员工向监管机构警告其技术风险。信中称，这些涉及保密和遣散的协议可能导致员工面临处罚。

消息称 4050 亿参数版 Meta Llama 3 将于 7 月 23 日发布

据内部消息透露，Meta计划于7月23日发布拥有4050亿参数的开源大模型Llama 3 405B。这将在现有的80亿和700亿参数版本之外，提供一个更强大的选择。Meta CEO扎克伯格此前已透露正在训练该模型。

H100利用率飙至75%！FlashAttention三代性能翻倍

让AI训练更高效始终是核心课题。FlashAttention-3作为针对Hopper GPU系列的第三代优化算法，通过一系列技术创新，将H100 GPU的FLOP利用率从35%大幅提升至75%，在FP16模式下实现了1.5到2倍的速度提升。论文和项目代码已发布。

6700万参数比肩万亿巨兽GPT-4！微软MIT等联手破解Transformer推理密码

一项由微软、MIT等机构学者完成的研究引发了关注。受图灵奖得主Judea Pearl启发，他们提出“公理化训练”范式，通过构建因果模型进行训练。结果，一个仅6700万参数的微型Transformer模型，在推断复杂因果关系任务上，性能不仅超越了一些十亿参数模型，甚至可与GPT-4媲美。

亚马逊推出 AI 购物助手 Rufus，可回答客户各种问题

经过五个月测试，亚马逊的生成式AI购物助手Rufus正式面向所有美国客户开放。它被设计成用户的随身购物助手，可以回答各种商品相关问题，旨在帮助用户节省时间并做出更明智的购物决策。

谷歌将Gemini 1.5 Pro安装到机器人上，实现记忆导航能力

谷歌DeepMind团队展示了Gemini 1.5 Pro在机器人领域的应用潜力。在一个近9000平方英尺的空间内，搭载该模型的机器人能够执行57种不同任务，成功率高达90%。其核心优势在于长上下文窗口和多模态理解能力，让机器人能记住环境、理解复杂指令并自主完成任务。

谷歌推通用视频模型VideoPrism 精准分类、定位、检索一网打尽

谷歌发布了VideoPrism，一个旨在通吃多种视频理解任务的视频编码器模型。该模型在包括视频分类、定位、字幕生成等33个基准测试中的30个都达到了最先进水平，显示出强大的通用视频理解能力。

Andrej Karpathy 24 小时仅用 672 美元“重现”GPT-2

前特斯拉AI总监、OpenAI研究员Andrej Karpathy进行了一次有趣的实验。他利用其开源的llm.c项目，在单个8xH100节点上，仅用24小时、花费约672美元，就成功训练出了一个类似GPT-2的模型，将训练成本降低了近90%。

AI原生互动侦探游戏，刚上线就爆火

一款名为“AI Alibis”的AI侦探游戏在开发者社区火了。玩家需要与六个性格各异的AI NPC互动，解开谋杀谜案。因其免费、免下载、浏览器即可运行且支持中文等特点，迅速吸引了大量关注。

Heygen推对口型工具 上传照片+音频即可说话、唱歌

Heygen在其实验室推出了一款“Expressive Photo A vatar”工具。用户只需上传一张人物照片和一段音频（最长20秒），工具就能生成该人物根据音频内容对口型说话或唱歌的视频，唇形和表情同步效果出色。不过，该功能目前暂未对中国区用户开放。

OpenAI 翁丽莲提出大模型「外在幻觉」

OpenAI的研究员翁丽莲（Lilian Weng）对LLM的“幻觉”问题进行了更细致的划分。她提出了“外在幻觉”的概念，特指模型生成的内容虽然与上下文相符，但并非基于其预训练数据集中的世界知识，即无法通过外部知识进行验证。她还概括了智能体的公式：智能体 = 大模型 + 记忆 + 主动规划 + 工具使用。

吴恩达抵制美国SB 1047法案，称对开源大模型是毁灭性打击

知名AI科学家吴恩达再次公开批评美国加州的SB-1047法案。他认为该法案存在根本性错误，监管重点应该是通过大模型开发的生成式AI产品，而非开源大模型本身，否则将对开源生态造成巨大伤害。

欧盟《人工智能法案》8 月 1 日生效，学校 / 工作场所不得使用实时情绪识别系统

备受关注的欧盟《人工智能法案》将于8月1日正式生效。法案规定，生效后6个月内，将禁止在学校和工作场所使用实时远程生物识别系统（如情绪识别）；9个月后，将对AI开发者实施“行为准则”；一年后，OpenAI等具有“系统性风险”的模型公司必须遵守新的透明度与安全要求。法案还对生成式AI的内容标记和版权合规做出了规定。

今日产品动态

Product Hunt 热榜，AI 助手电子表格 SUPERGPT

Superjoin团队将ChatGPT的能力带进了Google Sheets。新推出的SUPERGPT功能，可以在表格内提供智能内容生成、信息提取和自动填充等服务，还支持实时翻译、数据总结等增强功能，为表格用户带来了新的生产力工具。

GitHub Trending 热榜，开源自主 AI 编程助手Tabby

对于寻求代码补全工具自主可控的团队，Tabby提供了一个值得关注的开源选择。这是一个可以自主托管的AI编程助手，允许团队在本地搭建基于LLM的代码补全服务器，无需依赖数据库或云服务，注重数据隐私和定制化。

开发者推荐

1. AI 会议助手 Fathom 荣获 2024 年 G2 最高满意度奖

Fathom这款AI会议助手最近拿下了2024年G2最高满意度产品奖。它能自动记录、转录和总结会议内容，支持多语言和多平台集成。用户反馈称，平均每次会议能节省约20分钟。

2. Riffo 助力高效文件命名

文件命名和管理是很多人的痛点。Riffo这款AI驱动的菜单栏工具，支持批量重命名，并能利用AI提供智能命名建议，旨在简化繁琐的文件管理流程。

3. AI 驱动的函数调用革新：APIGen 助力开发者提效

APIGen是一个旨在自动化生成API调用数据的工具。它通过自然语言指令生成并执行多样化的API调用，简化开发流程，并通过严格验证确保生成数据的质量。

4. AI 赋能文字编辑：AiEditor 开源富文本编辑器问世

AiEditor是一款开源的、AI驱动的富文本编辑器。它在传统编辑功能之外，加入了实时推荐和修改建议等智能化能力，试图提升文字处理的效率与质量。

5. AI 助手 Cradle 突破通用计算机控制领域

由昆仑万维等机构推出的Cradle框架，展示了一种新的可能性：让AI像人类一样，通过键盘和鼠标直接操控计算机上的任意软件，而无需依赖软件内部API。在实际测试中，它已能完成从玩复杂游戏到操作办公软件等多种任务。