皮尤研究中心刚发布了一份挺有意思的调查报告，他们问了几千个美国人怎么看AI。结果出来以后，估计硅谷那帮人会觉得有点扎心——63%的受访者说AI发展太快了，只有16%的人觉得AI对社会会有正面影响。

用的人多了，担心的也多了

这次调查是今年2月做的，一共问了5119个美国成年人。有个数字挺显眼：49%的人说用过AI聊天机器人，比2024年的33%涨了不少。ChatGPT最常用，44%的人说用过，比2023年翻了一倍。

年轻人用得最多——18到29岁这个年龄段，66%的人用过聊天机器人。但讽刺的是，恰恰是这群人最不看好AI的前景。48%的年轻人觉得AI会产生负面影响，只有14%觉得是好事。

每天在用，但不太信

大约四分之一的美国人说他们每天都会用聊天机器人。用得最多的场景是搜索信息（42%）和工作任务（38%）。三成的人觉得AI让他们的生产力提高了，但也有不少人对AI给出的信息质量表示怀疑。

66%的美国人认为AI会让他们的个人信息更不安全，只有3%的人觉得会更安全。

对政府的监管能力，大家也没什么信心。67%的人说他们对美国政府有效监管AI”信心不足”。有趣的是，民主党人比共和党人更不相信政府能管好AI——这在两年前还是反过来的。

智能设备渗透日常生活

除了聊天机器人，AI还在以别的方式进入美国人的家。35%的人有智能音箱（比如Amazon Echo），37%的人有智能手表，18%的人装了智能门铃。60%的人说他们会看搜索引擎结果顶部的AI摘要。

这些数字说明，AI已经不是什么未来概念了，它正在真实地改变人们获取信息、管理健康和与科技互动的方式。但公众的情绪显然比硅谷的乐观叙事复杂得多——人们在使用这些工具，同时也在用警惕的眼光打量它们。

---

企业想把AI用到实处，最难的不是让模型”说出话”，而是让说出来的话靠谱。税务、法律、药物研发——这些领域错一个字就是真金白银甚至人命，AI幻觉在这儿比别处更致命。一家刚冒头的新公司觉得，解决这个问题靠的不是把模型做得更大，而是把规则写得更死。

给AI套上数学的缰绳

Pramaana Labs本周冒了出来，拿了Kholla Ventures领投的2700万美元种子轮，Accel、Boldcap、Nexus Venture Partners、Premji Invest和Unbound跟投。这家公司的主意说起来不复杂：用计算机科学里最”死板”的工具——数学形式化验证——来管住AI最”飘”的那部分幻觉和乱编。

CEO Ranjan Rajagopalan的说法是：税务法规本质上就是一套规则，跟数学差不多。一旦把规则用代码形式化，推理过程就能变成确定性的——换句话说，AI可以天马行空地理解自然语言，但最后得出来的结论必须过一道”数学检查”，否则不让出门。

“世界上最难的问题不是无解，而是没有被形式化。每个’出错就要命’的领域——健康、金钱、自由——都有规则，只是这些规则还没被写成代码。”
——Ranjan Rajagopalan，Pramaana Labs联合创始人兼CEO

LEAN语言来了

Pramaana的做法是在常规LLM上面加一层确定性验证，这套验证用的是开源LEAN编程语言的工具——本来这东西是用来验证数学证明的，现在被他们拿来验证AI的输出。有法国民俗，法国的CATALA项目已经把本国税法和福利系统的一大块形式化成了可执行代码，算是这条路上有分量的先驱。

每个使用场景，Pramaana会搭一套自己的类LEAN形式化验证系统，并且有领域专家盯着。税务方向的前IRS局长Danny Werfel在公司顾问名单上；网络安全与药物研发系统则由IIT Delhi、IIT Madras和UC Berkeley的教授们把关。

为什么是现在

AI可靠性这事儿，搁两年前大家还在实验室里吵，现在企业已经被迫要认真对待了。幻觉在闲聊里是个笑话，在报税软件里就是一个灾难。Pramaana挑的这几个垂直领域——法律、药物研发、税务——恰恰是容错率最低的几个地方，也是愿意为”可靠性”付钱的地方。

这条路能不能走通，取决于一件事：把现实世界的复杂规则完整、准确地形式化，这件事本身难度就不比做AI小。但Rajagopalan的判断是，那些规则本来就在那儿，只是没人把它们变成代码而已。

---

Pinterest偷偷摸摸做了个AI购物助手，但先只给少数人用

Pinterest本周三宣布了一款名为”Ask Pinterest”的新实验性应用。简单说，这东西能让Pinterest用一种更对话式的方式来做购物和产品发现，而且这种玩法最终可能会挪到Pinterest主应用里去。

与此同时，公司还介绍了其他一些AI计划，包括为在Pinterest平台上跑活动的广告商设计的Pinterest模型上下文协议（MCP），以及其他一些AI广告工具。

时间点微妙：赶在Cannes Lions前发布

这个消息发布的时间点挺微妙——正值广告技术行业年度盛会Cannes Lions前夕。今年的这个会，焦点主要集中在AI如何满足广告商和营销人员的需求上。

“Ask Pinterest”这个在线应用，给了公司另一种利用”Taste Graph”的方式——这是Pinterest内部的一套数据，用来把人和他们的兴趣、审美偏好映射起来。公司方面表示，最初会以有限访问的形式提供。

这种AI驱动的体验，设计初衷是把Pinterest那套出名的可视化发现体验，从传统的主应用界面扩展到一个对话式、聊天机器人式的界面里。

AI购物战场已经打响

它的出现，正值AI聊天机器人日益跟传统搜索引擎抢消费者注意力的时候。Google已经让AI帮着在线购物者找想要的东西、追踪价格，还能直接结账。ChatGPT也实验过代理式购物，Meta、Shopify这些公司也一样。

但Pinterest的做法不太一样。它很大程度上专注于用自己的数据训练AI模型，给自己的AI产品做支撑，而不是把自己变成别的AI服务可以通过许可协议来利用的产品推荐来源。

另外，让Ask Pinterest成为一个独立应用，公司就有了一个在不破坏Pinterest主体验的情况下实验这项技术的方式。

能做复杂的多步骤查询

公司方面解释说，Ask Pinterest可以用来处理更复杂或者多步骤的查询——这类查询不太适合传统的Pinterest搜索。举个例子，你可以用这个应用来寻求筹划晚宴的帮助，或者慢慢布置一个房间。

Pinterest表示，这个想法的核心是测试和探索AI如何能在保留用户跨会话上下文的同时，更好地支持人们的购物体验。

Ask Pinterest还能利用用户自己保存的Pin和画板，来让回答更个性化。

---

• Ask Pinterest初期限量访问，利用Pinterest的”Taste Graph”数据
• 支持复杂多步骤查询，比如筹划晚宴或布置房间
• 作为独立应用推出，不影响Pinterest主应用体验
• 同步推出AI广告助手（Beta版）和Performance+ creative模型

DeepL把现场翻译这门生意也收了，Mixhalo加入后音频翻译要变天

在科技会议上，你一定见过这样的场景：台上的演讲者说着法语、德语或者日语，台下的听众一半人听不懂，只能手忙脚乱地掏出手机，打开翻译应用，举着手机远远地对着讲台，试图捕捉音频——效果嘛，往往不尽如人意。

Mixhalo就是一家解决这类问题的实时音频创业公司。现在，它加入了DeepL，帮助这家德国创业公司增强翻译套件，改善这类翻译体验。

从音乐会到企业级实时音频

Mixhalo的创始团队挺有意思：2016年，Incubus乐队吉他手兼作曲人Mike Einziger、小提琴手Ann Marie Simpson-Einziger，以及现在的创业公司CEO Vik Singh一起创立了这家公司。

最初，这家公司的卖点是通过其平台改善音乐会听众的聆听体验。但多年来，它逐渐发展成为一家为体育赛事和现场活动提供实时音频服务的公司。截至目前，这家创业公司已经从Fortress Investment、Founders Fund、Defy Partners和Cowboy Ventures等投资者那里融资超过3900万美元。

Mixhalo的CEO Singh表示，大量语音模型进入市场对Mixhalo是有利的，因为公司可以集成各种模型并比较性能。但随着模型公司越做越大，它们会”开始侵入”Mixhalo运营的空间，使其难以在定价上取胜。

收购谈判：坐在客户晚宴上聊出来的

有意思的是，Mixhalo表示自己一直依赖DeepL作为主要翻译提供商，所以与该公司更紧密地合作是顺理成章的事。

Singh告诉我们：”与DeepL的对话非常自然。Mixhalo一直是DeepL的长期客户，我参加了一个客户晚宴，结果坐在DeepL CTO Sebastian旁边。我们开始聊天，聊得越多，活动空间、API和应用层的重叠就越明显——无论是用于会议的语音、文档翻译还是现场活动。”

DeepL的语音野心

DeepL长期以来一直是文本翻译领域的玩家，但在过去几年里，它开始在其语音产品上发力。

2024年，该公司推出了支持超过33种语言的语音转文本翻译功能。今年4月，它推出了语音转语音翻译套件，支持多语言会议等使用场景。收购Mixhalo可以让DeepL用同一套解决方案打入现场活动空间。

DeepL CEO Jarek Kutylowski在接受TechCrunch电话采访时说：”对我们来说，Mixhalo既是一个解决方案，也是一个营销用例。这个平台将让我们展示DeepL的技术如何在实时环境中工作，比如在人们现场参会的会议环境中。”

---

• DeepL将在旧金山开设办公室，扩大美国业务
• Mixhalo融资超过3900万美元，投资者包括Founders Fund等
• Mixhalo将与Wordly AI、Palabra等公司竞争

Cohere牵手德国Aleph Alpha，200亿美元”跨大西洋AI强国”来了

过去几年，AI赛道给人的感觉是硅谷随手一抓就是一家巨头。OpenAI、Anthropic、Google DeepMind、Meta——这几家基本上把前沿模型的话语权包圆了。但在企业级AI市场，一家加拿大公司和一家德国公司的合并，正在试图改变这个格局。

一家加拿大公司，一家德国公司

Cohere这个名字，关注企业AI的人应该不陌生。这家2019年成立于多伦多的公司，由曾在Google Brain工作的Aidan Gomez联合创立（他是Transformer论文的作者之一），主打企业级大语言模型，客户可以在自己的基础设施上部署Cohere的模型，数据不用离开自己的服务器。

Aleph Alpha的来头也不小。这家总部位于海德堡的德国AI公司，由曾在Heidelberg大学任教的Jonas Andrulis创立，是欧洲”主权AI”运动的重要参与者。它的客户包括大众、博世、SAP等欧洲大企业，还有德国联邦政府。Schwarz Group（就是经营Lidl和Kaufland那家零售巨头）是Aleph Alpha的重要支持者之一。

200亿美元估值，背后是谁在押注

根据金融时报的报道，这笔合并交易对合并后新公司的估值约为200亿美元。与此同时，Schwarz Group还会向Cohere的E轮融资注入6亿美元，这轮融资预计今年晚些时候完成。

把两家公司的技术团队和客户资源合在一起，新公司的定位很明确：给企业和政府提供一个”非硅谷选项”。数据留在自己手里，模型可以私有化部署，不用把命运交到美国科技巨头的API密钥里。

“企业和政府需要对自己技术的控制权。”合并声明里的这句话，直接点出了这次交易的真正动机——不是技术互补这么简单，而是地缘政治在AI行业的投射。

时机很微妙

这笔交易宣布的时间点——2026年4月——刚好是美国政府以国家安全为由，要求Anthropic切断外国用户对Fable 5和Mythos 5模型访问的前夜。这件事让很多国家的政府和企业都意识到：如果你用的AI完全依赖美国公司，那你的数字基础设施的”开关”握在别人手里。

欧洲的反应尤其强烈。法国总统马克龙直接点名批评美国的AI出口管制政策。英国的数据保护监管机构也借机推动了本土AI能力的建设。在这种大环境下，一家总部在加拿大、一家在德国、两家都强调数据主权的AI公司合并，吸引力不言而喻。

当然，200亿美元的估值能不能撑住，还得看合并后的产品能不能真的打。企业AI市场不缺大玩家，微软的Copilot、Google的Vertex AI、AWS的Bedrock，哪一个都不是省油的灯。Cohere和Aleph Alpha的”主权”牌能不能转化成真实的采购订单，是接下来最值得观察的事情。

---

这件事更大的意义在于：AI行业正在从”技术竞赛”转向”地缘竞赛”。以前大家比的是谁的模型强、谁先跑出AGI，现在越来越多人在问：这家公司的模型，我的政府允许我用吗？我的数据，存在谁的地盘上？

Cohere和Aleph Alpha的合并，是这个问题的一个答案。不一定是最好的答案，但至少是一个答案。