Pramaana Labs获2700万美元种子轮，用形式化验证护航AI可靠性
专注法律、药物发现和税务等高敏感领域，Pramaana Labs获得Khosla Ventures领投的2700万美元种子轮融资，旨在通过形式化验证技术确保AI系统的数学级可靠性，降低关键应用中的灾难性错误风险。
海外精选
脏活累活：AI实验室付费给机器人数据采集公司XDOF
大型语言模型（LLM）的成功离不开海量文本数据，但物理AI（具身智能）却面临截然不同的困境——机器人需要真实世界的交互数据来学习，而这些数据的采集过程肮脏、繁琐且成本高昂。据TechCrunch报道，已有AI实验室开始雇佣专业公司XDOF来
慢科技革命：终结手机成瘾，拯救注意力
随着数字设备成瘾日益严重，一场“慢科技”运动正在兴起。人们渴望夺回对时间、生活和注意力的控制权，越来越倾向于使用功能简单的手机和克制设计的技术产品。慢科技革命旨在通过减少数字干扰，帮助用户恢复深度思考和真实人际连接。
跳票十月终开售：谷歌百元智能音箱更重AI而非音质
在去年8月首次亮相后，谷歌备受关注的100美元智能音箱（Google Home Speaker）历经10个月延期，终于于今日开启预购。这款设备被视为谷歌AI战略的重要一环——其核心卖点并非传统音箱的音质表现，而是深度集成的Gemini智能助
地球工程现实检验与内感科学新视角
本期《The Download》聚焦两大前沿话题：太阳地球工程从计算机模拟走向真实世界实验，面临现实检验；以及内感科学（interoception）的最新突破，揭示身体感知如何影响情绪、决策与心理健康。本文深入解析这些技术背后的科学进展、争
加拿大养老金巨头押注印度AI数据中心热潮
加拿大养老金巨头宣布以8.2%的股份收购印度科技巨头CtrlS，该公司运营着超过15座数据中心。此举标志着全球资本加速涌入印度AI基础设施领域，印度正成为亚洲数据中心投资的新焦点。本文分析交易背后逻辑、行业趋势及潜在影响。
搭载Gemini的谷歌Home音箱终于来了
时隔六年，谷歌终于推出了新一代智能音箱。这款HomePod风格的全新设备经过重新设计，专门为Gemini聊天机器人打造了专属空间。这意味着用户可以直接与谷歌最强AI对话，获取信息、控制家居，甚至进行多轮复杂交互。本文详细解析新品的诞生背景、
谷歌云生成式AI助力市政规划自动化，英国住房目标加速
英国政府正部署谷歌云生成式AI，以自动化市政委员会的规划操作。地方规划机构面临大量非结构化数据造成的行政积压，拖慢了基础设施建设。通过AI处理繁琐文件，有望加速实现2029年建造150万套新住房的目标。本文分析生成式AI在政务领域的应用潜力
Pinterest推出AI购物实验应用“Ask Pinterest”
Pinterest近日推出一款名为“Ask Pinterest”的实验性AI购物应用，通过对话式界面为用户提供个性化推荐和灵感。该应用整合了Pinterest海量视觉数据和自然语言处理技术，用户只需以对话方式描述需求，即可获得商品推荐、风格
DeepL收购Mixhalo，布局现场活动实时翻译与旧金山办公室
AI翻译巨头DeepL宣布收购现场音频流与翻译公司Mixhalo，并同步在旧金山设立办公室，以加速其美国市场扩张。此次收购将DeepL的神经机器翻译技术与Mixhalo的低延迟音频传输平台结合，有望革新会议、演唱会等大型活动的多语言体验。分
大气黑客：地球工程迎来现实检验
在MIT一间普通办公室里，研究员Jim Franke展示了一款奇特的无人大飞机，它能在比商用客机高一倍的高度飞行。这架飞机并非用于普通任务，而是为地球工程——更具体地说，为向平流层喷洒气溶胶以反射阳光的实验而设计。然而，随着全球气候谈判屡陷
内罗毕企业家力推太阳能，助力肯尼亚2030全民用电
肯尼亚电网大部分已由可再生能源驱动，但仍有25%的社区缺乏集中供电。为实现2030年全民用电目标且不增加碳排放，该国正将希望寄托于离网太阳能。太阳能技术的成本持续下降——几年前一块面板价格约数百美元，如今已大幅降低——为这一转型提供了经济可
特朗普政府出手阻挠xAI燃气轮机环保诉讼
美国全国有色人种协进会（NAACP）起诉马斯克旗下xAI公司，指控其在未获许可的情况下使用燃气轮机为Grok数据中心供电，违反《清洁空气法》。特朗普政府向法院提交动议，试图阻止该诉讼，引发环保与AI发展之间的激烈博弈。此案或成为AI基础设施
Anthropic与特朗普政府争执反促销售？数据给出意外答案
AI创企Anthropic与特朗普政府之间的公开争端，却意外地推动了其企业业务增长。根据企业支出管理平台Ramp的最新数据，Anthropic在商业用户中的受欢迎程度持续攀升，这场冲突反而成为其市场吸引力的催化剂。文章分析背后原因，并探讨政
AI如何成为军事顾问？独家电子书深度解析
本摘要概述了MIT Technology Review独家电子书《AI如何成为军事顾问》的核心内容。该书汇集了六篇自2025年4月至2026年4月期间发表的文章，经更新后呈现了AI模型在军事决策中的最新应用。从战场态势分析到战略规划辅助，A
Anthropic紧急叫停Claude Agent SDK按token计费计划
Anthropic原定于周一推出的基于token的计费模式，旨在为Claude Agent SDK提供更精细的用量控制，但该计划因可能导致高用量用户成本激增而引发争议。在开发者社区的强烈反对下，Anthropic宣布暂停该计费变更，并表示将
SpaceX估值飙至2.6万亿美元，短暂超越亚马逊
自上周五股票开始交易以来，SpaceX的估值暴涨1万亿美元，达到2.6万亿美元，一度超过电商巨头亚马逊，成为全球市值最高的公司之一。这一惊人的市值飞跃背后，是投资者对星链、星舰等业务的狂热追捧，以及二级市场对太空经济前景的极度乐观。
泄露财报显示OpenAI年亏数十亿美元
据最新泄露的审计财务文件显示，OpenAI尽管收入持续增长，但其研发及其他运营支出规模远超营收，导致公司每年亏损高达数十亿美元。这一财务状况揭示了AI头部企业在激烈竞争中面临的盈利困境，也为行业“烧钱换增长”的模式敲响警钟。
SpaceX豪掷600亿美元，AI编程平台Cursor收入囊中
SpaceX宣布以600亿美元收购AI编程平台Cursor，意在加速软件开发以支撑星链、星舰等庞大工程。此前，两者各自面临增长瓶颈：Cursor的AI编码工具虽获开发者青睐，却难以突破企业市场；SpaceX的软件团队则因项目激增而效率承压。
六成美国消费者对品牌“AI”宣传反感
WordPress VIP最新调查显示，60%的美国消费者表示，品牌在消息中提及“AI”会让他们产生反感。尽管企业日益将AI搜索视为重要流量渠道，但消费者对AI生成内容的信任度依然偏低。调查揭示了品牌在利用AI技术时需谨慎权衡市场认知与实际