搜索“其他”

软件和用Verilog编写的硬件设计。该公司正在与潜在用户评估这项技术，包括芯片制造商Tensordyne和Nvidia，后者的风险投资部门是该初创公司的投资者之一。 就在上周，Anthropic与验证初创公司Theorem联合宣布，他们利用AI协助发现了开源软件中的缺陷，而这些缺陷是数万亿次测试都未能检测到的。他们还为Claude推出了一款附加组件，以帮助其他开发者进行验证。初始项目的成本未予披露。 最大的愿景是这样一个未来：软件运行更可靠，安全问题更少。但AI能否将形式化验证从NASA和Apple等组织中最关键的系统推广到广泛使用，仍是一个悬而未决的问题。 这项技术仍处于原型阶段。尽管需求很高，但客户愿意支付多少以及他们偏好如何采用这项技术尚不清楚。形式化验证依赖于对计算机和人如何与软件交互做出假设，一些专家对其捕捉由用户错误和硬件故障引发的缺陷的能力持怀疑态度。 经营缺陷搜寻AI软件初创公司Antithesis的Will Wilson称形式化验证对他这样的数学迷来说是“一个陷阱”。Antithesis花费数百万美元对其部分网络安全防御进行了形式化验证，Wilson称这一过程“令人

匹配字段正文

播放器end 行情图begin 行情图end 数据显示，今年以来，金融公司、企业和政府通过投资级和垃圾级债券发行共筹集6.61万亿美元，比去年同期增长15%，并在距离年底还有两个月的情况下就赶超2025年的纪录水平。 数据显示，单单云计算巨头和数据中心开发商就发行了近3680亿美元的债券，是去年同期的六倍多。这一部分约占今年以来举债增幅的三分之一，超过了所有其他非金融行业。 这一数据反映出人工智能建设在全球债务市场中扮演着愈加核心的角色，随着全球收益率上升和政府寻求为不断扩大的预算赤字提供资金，资本竞争日益激烈。 在AI时代，美国超大规模数据中心已成为主要的借款方。亚马逊公司是今年以来全球第四大发债主体，仅次于德国、欧盟和意大利，排名高于法国以及英国。这家电商巨头也已成为最大的企业借款人，紧随其后的是Alphabet。 在美国，今年十大企业发行人中有五家是科技公司，而以往通常在这其中占据主导地位的金融机构，其发行份额已降至至少十年来的最低水平。 “一年之内，全球最大市场的顶部发生了根本性重新排序，”摩根大通投资级金融全球联席主管John Servidea在一次采访中说道。“人工智能成为

匹配字段正文

通过合作与收购涌现，头部玩家正试图巩固自身地位。Deepgram 是最新采取此类行动的公司：该公司周四表示，将收购 Daily——后者是最受欢迎的开源语音 AI 基础设施之一 Pipecat 的开发者和维护者。 两家公司未披露交易金额，但表示将继续保持 Pipecat 开源。 对于不了解的人来说，Pipecat 是一个框架，负责管理语音和视频流以及流水线中的其他环节，如语音转文本（STT）、大语言模型（LLM）和文本转语音（TTS）模型，同时降低延迟。其开发者 Daily 为各类语音和视频通话提供托管基础设施。 借助 Pipecat，Deepgram 很可能将更深入地理解实时语音和视频基础设施。 根据 PitchBook 数据，Daily 迄今已从 Tiger Global、Highfield Capital、Nat Friedman、Lachy Groom 和 Kevin Weil 等投资者处筹集了超过 6200 万美元资金。今年早些时候，Deepgram 通过 1.3 亿美元 C 轮融资跻身独角兽行列。巧合的是，两家公司都曾是 2016 年同一批 Y Combinator 成员。

匹配字段正文

侵多个联邦机构和美国部分基础设施。“现在是最不该抱有这种漫不经心态度的时候。” 有线索提供？ 你是现任或前任政府雇员，想谈谈正在发生的事情吗？我们愿意听取你的说法。请使用非工作电话或电脑，通过 Signal 安全联系记者，号码为 velliott88.18。 埃森哲目前与联邦政府签订的合同金额超过 35 亿美元，其中近 6.05 亿美元来自国防部。该公司还与其他联邦机构签约，例如教育部、总务管理局和能源部等。本月早些时候，联邦调查局发现，埃森哲一名承包商未能修补一个漏洞，导致黑客组织 ShinyHunters 获取了该局数千名员工的详细信息。联邦调查局已于 10 月初将该承包商移除。 总部位于华盛顿特区的 IT 咨询公司 Hunter Strategy 创始人马特·特里纳（Matt Triner）表示，这一问题体现了政府承包商在更广泛层面上面临的相互冲突的要求。“组织常常因为报告这类事件而受到惩罚，尽管这样做是正确且合法的，”特里纳说。他表示，在许多情况下，公司可能因为承认发生过安全漏洞而失去政府合同，不过他说，像所描述的这类事件“绝对属于需要上报的事件”。 特里纳还指出，承包商面临越

匹配字段正文

相关合同总额最高可达 1205 亿美元，合同有效期至 2029 年。 文件显示，从今年 12 月起，Anthropic 每月支付金额约 31 亿美元。不过 Anthropic 可分别在 2027 年 1 月、2027 年 3 月之后，提前 90 天通知 SpaceX，终止这份算力合同。 文件还提到，Anthropic 同时也和 Nscale、Lambda 等其他算力云服务商存在合作。 SpaceX 营收高度依赖 AI 算力合同，体现出自从这家火箭企业收购马斯克旗下 AI 公司 xAI 之后，不到一年时间里自身发生的巨大转变。在 SpaceX 发展史上很长一段时间，和美国国家航空航天局、国防部的合作是其最赚钱的业务。 SpaceX 提交文件显示，第三季度仅有两家客户贡献的收入占总营收比重超过 10%。另一家客户（可能是多家政府机构合计）占第三季度营收 16.6%，而在 2025 年，该部分大约占公司营收的五分之一。 马斯克还预测，美国国家航空航天局曾是 SpaceX 最重要合作伙伴之一，在 2026 年其收入占比将不足 5%。 （neocloud：新型算力云，专门搭建 AI 数据中心、对

匹配字段正文

意味着，即便收入略低于预期，公司在履约、销售营销、管理费用等方面的效率改善，仍然支撑了创纪录的经营利润率。 净利润为206.9亿美元，低于去年同期的211.9亿美元；稀释后EPS为1.89美元，同比下降3%。这一同比下滑很大程度上与去年同期的非经营性高基数有关——2025年三季度亚马逊因Anthropic投资确认了95亿美元税前收益，而今年同期没有类似收益，其他收入/费用项目从去年同期的正101.9亿美元转为负7亿美元。 换言之，这份财报不是经营层面的利润失速，而是收入和每股收益略低于预期、叠加非经营性项目和资本开支压力，削弱了投资者对短期回报的信心。 AWS继续加速：AI需求支撑云业务，但市场也在追问投入回报 AWS是三季度最亮眼的业务线。该部门净销售额459.8亿美元，同比增长39%，高于分析师预期的约454亿美元，同比增速较二季度的约37%进一步加快，继续创2021年四季度以来最高增速；AWS经营利润177.7亿美元，同比增长55%，经营利润率为38.7%，高于去年同期的34.6%。 从收入结构看，三季度线上销售额685亿美元，贡献亚马逊三分之一的净销售额，AWS销售额占总额的2

匹配字段正文

规模庞大，但退出条款埋下隐患 根据Anthropic的IPO披露文件，该公司已承诺在合同期内（至2029年）向SpaceX支付最高1205亿美元，相当于从今年12月起每月约31亿美元。 然而，合同中设有明确的退出窗口：Anthropic可分别在2027年1月和2027年3月之后提前90天通知终止合同。 此外，Anthropic还与Nscale、Lambda等其他neocloud供应商签有协议，进一步凸显其维持多元算力供应商策略的意图，也意味着SpaceX并非其唯一选择。 马斯克警示neocloud洗牌，但坚称SpaceX自身差异化 就在neocloud行业承压之际，马斯克近几周来在其社交平台X上频繁发声——X现已归属SpaceX旗下。他点评了CoreWeave高收益债券的处境，并着力强调SpaceX与其他neocloud竞争对手的不同之处。 "债务市场几乎已对任何缺乏AI数据中心以外实质性营收的公司关闭融资渠道，"马斯克表示，并指出SpaceX同时拥有Starlink和火箭发射业务作为营收支柱。 "这意味着200多家neocloud将迎来鱼苗级别的死亡与整合，部分能活下来，但不会太多。

匹配字段正文

自研服务器芯片，以降低对英伟达的依赖。这使得Nscale、CoreWeave、Firmus等新兴云厂商（neocloud）对英伟达的战略价值愈发凸显。英伟达今年夏天甚至调整了营收披露方式，专门突出新兴云厂商的贡献——这一群体自2023年GPU需求爆发以来，已成为英伟达重点扶持的对象。 1700亿美元生态押注：英伟达的新兴云战略全貌 英伟达迄今已向新兴云厂商及其他大型客户提供约1700亿美元的信用支持与投资。 除Nscale外，英伟达还在洽谈向澳大利亚AI云服务商Firmus投资数亿美元。Firmus本月初突然撤回了IPO申请，据The Information上周报道，英伟达的潜在投资正是谈判背景之一。 为支撑这一生态，英伟达内部专门组建了一支团队，由黄仁勋的女婿Nico Caprez联合领导，协助新兴云厂商寻找具备可用电力的数据中心选址——这类资源极为稀缺，无论是自建独立电源还是接入电网，均需耗费大量时间。 然而，新兴云厂商普遍面临严峻的财务压力：这些公司大多尚未经过市场验证，需要大幅增长营收才能偿还为购买英伟达服务器而举借的巨额债务，而利率的持续上升令这一压力进一步加剧。业内部分高管

匹配字段正文

约4个百分点。管理层认为第三季度客户参与度强劲，延续了上半年的增长趋势。Jassy 特别提醒市场不要低估其实体店和零售业务的进展： 我认为有些人有点忽视了这项业务取得了多少进展。我不知道还有哪家零售企业的营收能接近亚马逊的数千亿美元规模，并且在保持两位数营业利润率（包含广告）的同时还能以这种速度增长。 其中，生鲜杂货和日常必需品成为了巨大的流量入口，其增速是其他零售类别的3倍。 数据显示，购买生鲜并使用当日达服务的客户，其购买日常必需品的数量是不使用该服务客户的7倍；同时，这些生鲜客户在非杂货类别（如家居、服装）上的花费也是其他客户的2倍以上。 在降本增效方面，机器人技术功不可没。CFO Brian Olsavsky 指出，目前亚马逊履约网络中已有超过100万台机器人投入使用。 在2026年，亚马逊将其机械臂（如Cardinal和Sparrow）的车队规模增加了一倍，这使得公司在面临燃料和运输成本上涨的逆风下，依然连续第四年降低了单件履约成本。 关于广告业务，Q3广告业务营收达196亿美元，增速放缓主要是因为Prime Day促销时间调整等短期因素拖累了约8.5个百分点。管理层预计，Q

匹配字段正文

信号是，投资者要的不只是AI承诺。科技股估值已经拉伸，市场需要更清晰的证据，证明重资本投入能够转化为利润和现金流。这种避险情绪正在科技股中蔓延，并向亚洲市场扩散。" 相比之下，微软同日公布云业务营收增长48%，资本支出相对克制，股价周四跌幅不足1%，成为本轮财报季中少数令投资者满意的科技巨头。 周四标普500指数中超过400只成分股上涨，资金正在从科技板块向其他行业轮动，显示本轮抛售的损伤目前仍主要集中在科技领域。费城半导体指数周四下跌1.4%，纳斯达克100指数跌1.4%，标普500指数仅小幅回落0.3%。 资金转向避险资产：美债收益率跌至七周低点 科技股的抛售推动资金涌入避险资产。 美国10年期国债收益率下行8.5个基点，至七周低点4.902%；两年期国债收益率下行8.7个基点，至4.5648%。联邦基金利率期货同步上涨，交易员降低了对美联储加息的押注，目前市场预计12月加息概率约为70%。 加密货币市场也未能幸免。比特币下跌约2%至77,200美元附近。与此同时，全球最大加密货币交易所币安疑遭黑客攻击，公司宣布冻结资产总额约30亿美元（此前彭博报道为超过25亿美元，币安随后更新数

匹配字段正文

AI初创公司随即出手，试图从这场行业震荡中捕获战略资产。 据科技媒体The Information 10月29日报道，知情人士透露，法律AI初创公司Crosby已于周四向Weil, Gotshal & Manges提交收购意向书，拟收购该律所的部分资产，包括内部数据、商标及品牌。Crosby同时希望从Weil约1200名律师中招募部分人才。目前尚不清楚是否有其他竞购方出现。Weil已聘请Davis Polk就重组事宜提供顾问服务，据《华尔街日报》报道。 此次收购意向的背后，是AI公司争夺企业数据资产这一新兴趋势的延伸。对于Crosby而言，Weil的内部数据——尤其是并购协议模板及谈判各阶段合同范本等非客户专属数据——具有重要的模型训练与定制价值。收购条款目前尚未披露。 百年律所骤然崩塌 Weil, Gotshal & Manges的解散震动了法律界。这家华尔街顶级律所以代理高风险并购、破产及诉讼案件著称，曾处理2008年雷曼兄弟破产案，代理微软2023年以反垄断为由收购动视暴雪一案的抗辩，并代表苹果公司就涉嫌商业秘密盗窃一事起诉OpenAI。 尽管该律所此前保持盈利，但一系列合伙人出

匹配字段正文

履行合同，为了这些合同，甲骨文又不得不依赖债务融资和股票发行，来筹资建造数据中心等AI基建。 甲骨文周三指出，在自由现金流转正以前，供应商融资、客户提供硬件/支付预付款等方式，都能帮助公司减少前期现金支出需求。其预计，从2029财年起，甲骨文将不用再依赖外部融资支持增长，预计同期净债务与年度核心利润比率将降至3.5倍以下。 截至8月31日，甲骨文的应付票据及其他借款总额为1253.4亿美元，现金及现金等价物约为363.7亿美元。马克森表示，“我之前告诉过大家，在2027财年剩下的时间里，我们还要额外筹集最多200亿美元资金。现在我们宣布，这200亿美元中，债务融资和股权融资将各占一半，这也是完成本轮投资周期剩余部分所需的最后一笔融资。” 包括甲骨文和谷歌在内，当地时间10月28日当天，美股三家大型云厂都在资本开支和现金流上给出了新动向，但路径和市场反应各不相同。 相较于对比鲜明的谷歌和甲骨文，微软的表现和市场反应处于两者之间。公司一季度资本开支同比增长30%至452亿美元，低于分析师此前预期；同期自由现金流虽然同比下降27%，仍录得186.3亿美元。财报发布后，微软10月29日美股盘前

匹配字段正文

私募融资。 Cohere未透露50亿美元融资目标中已有多少资金正式敲定，首席财务官Francois Chadwick表示，首次交割已涵盖其中的“大部分”。 Chadwick还指出，上述205亿美元估值为投前估值，不包括本轮募集的资金。 Cohere成立于2019年，总部位于多伦多，一直专注于向企业销售可定制的人工智能工具，而非面向消费者。 与人工智能市场上的其他大型竞争对手一样，Cohere正在开发AI智能体，以及编程、搜索和网络安全等专用工具。 Chadwick表示，Cohere通过强调安全性和AI运行效率，吸引了更多客户使用其平台，满足了客户应对计算成本攀升及AI驱动的黑客攻击的需求。 Cohere表示，截至9月底，其年度经常性收入较上年同期增长超过165%。 Cohere首席执行官Aidan Gomez表示，“这项投资将助力我们加速实现这一愿景，增强我们吸引世界一流人才、构建前沿人工智能系统以及在加拿大开发安全自主技术的能力，从而惠及全球客户。” 环球市场情报 美股动态 财联社声明：文章内容仅供参考，不构成投资建议。投资者据此操作，风险自担。 商务合作 热门解锁 【机构调研】这家

匹配字段正文

38.7%；AI 推理收入占 AWS AI 收入过半。 Bedrock 爆发：财富 500 强企业支出同比增长7 倍，Token 量同比增长17 倍，接入多款主流大模型。 自研芯片 Graviton/Trainium 订单同比增 20 倍，Trainium 计划 2027 年末对外销售。 3. 零售 & 广告：零售销量高基数下同比增长15%；生鲜日用品增速为其他品类3倍，显著带动跨品类消费。广告营收196亿美元，同比增长12%，受档期扰动，预计Q4增速回升至近 20%；外部 AI 代理暂未冲击广告业务。 二、QA 问答核心（精简） 1. AWS 产能与零售成本：季度产能投放天然存在波动，未来仍有大量产能落地；Q4 燃油、干线运费压力高于 Q3，卖家附加费只能覆盖部分成本。 2. AWS 万亿营收逻辑 & 机器人 万亿逻辑：大额算力订单提前锁定；企业AI推理尚处早期，推理成本下行释放需求；安全、AI Agent 等新场景持续打开增量，大量应用未来将改造为 Agent 架构。 机器人：现有超 100 万台仓库机器人，安全性改善；重复性岗位逐步机器替代；新仓深度集成机器人，仅在满足成本效率后

匹配字段正文

0 月 30 日消息，据彭博社报道，美国科技巨头赖以立身的核心业务 —— 也就是支撑今年合计 7,500 亿美元（IT之家注：现汇率约合 5.01 万亿元人民币） AI 投入的广告、消费与零售业务，已经显现出增长放缓的迹象。在部分业务线上，这些老牌业务正在被各家公司押上全部筹码的这项新技术反噬。 本周早些时候，谷歌母公司 Alphabet 公布了财报，搜索及其他渠道的广告收入，也就是约占公司总营收一半的业务板块，创下五个季度以来最低增速。即便如此，该公司维持今年最高 2,050 亿美元（现汇率约合 1.37 万亿元人民币）的资本开支预期不变。 亚马逊公司当地时间周四表示，上一季度，作为其支柱的电商主业以及广告业务增速双双放缓，但公司重申，今年资本开支计划维持在约 2,200 亿美元（现汇率约合 1.47 万亿元人民币）。微软公司与 Meta 公司同样维持此前的投入指引，而财报最终表现没能达到投资者预期。 这一系列财报以及随后的股价下跌，暴露出大型科技企业向 AI 新产品转型过程中不断加剧的矛盾，以及转型所需巨额投入带来的压力。这些企业正以前所未有的规模发债、增发股票、签署数百亿美元的数

匹配字段正文

将AI热潮描述为“一生一次的机会”，认为现在需要且值得做出如此巨大的财务承诺。 “我们将继续投资以保持领先地位，”他说。“我们有能力为这一计划提供资金，我认为它将永远改变亚马逊的规模。它将永远改变我们的营收。” 然而，投资者仍感到担忧。周四盘后交易中，股价下跌约6%。 AI热潮对云行业来说是喜忧参半，因为支撑这一热潮的AI服务依赖于云基础设施。与亚马逊一样，其他云服务提供商也在大举支出，但同时也在大举盈利。例如，微软刚刚公布了又一份创纪录的营收增长，主要由其云业务驱动。它同样也投入了巨额资金。 “AWS是一项年化营收运行率1840亿美元的业务，但机遇依然非同寻常，”这位CEO热情洋溢地说。“凭借我们持续的创新步伐、新的核心和AI功能、希望将核心和AI工作负载运行在AWS上的企业，以及我们每年增加的容量，我们相信AWS在2027年和2028年都能增长40%以上，并在未来5到10年内成为一项万亿美元营收的业务。” 贾西补充说，企业采用AI还处于“非常早期的阶段”，并表示到目前为止，“战略正在奏效”。 后来，当被问及为何发展AWS所需的投资如此巨大时，贾西将AI热潮描述为“一生一次的机会”，

匹配字段正文

法案》管辖。GDPR 于 2018 年开始强制执行，要求使用个人数据必须获得明确同意。这包括反对其数据被使用的权利。《人工智能法案》于 2024 年生效，规定了 AI 公司如何使用个人数据，以及人们如何选择加入或退出，并声明他们可以随时撤回同意。英国有自己的 GDPR 版本。欧盟委员会表示：“GDPR 规则仅适用于关于个人的个人数据；它们不管辖关于公司或任何其他法律实体的数据。但是，与公司相关的信息在能够识别自然人的情况下可能构成个人数据。” 几位英国和欧盟的用户解释了如何在 Instagram 上提出反对。Instagram 用户 bookish.sil 发布了一份在手机上操作的教程：点击账户上的三条线，进入隐私中心，然后点击“反对”，这会跳转到一个表单，要求用户写下他们反对其数据被使用的理由。他们收到了 Meta 的一封电子邮件，称他们的反对已获批准。Instagram 用户 jenniqueart 发布了类似的教程，结果相同。 我的 Meta 账户位于美国，但使用 VPN 将我的 IP 地址定位在伦敦后，我可以在 Meta 隐私设置中看到一些选项，让我可以反对 Meta AI 使

匹配字段正文

在 Kalshi 正在寻找新方法，为这些预测定价。Kalshi 与 S&P Dow Jones Indices 之间的这一合作令人着迷。”拜托，老兄。 今日打印机：我完全被这张喷墨打印的显微摄影迷住了，它赢得了 2026 年尼康小世界显微摄影比赛。Ole Bielfeldt 的作品在他的 Instagram 上，绝对值得一看。哇，哇哇。 今日“哎呀”：一个 Roblox 抓取程序从一个 3D 建模社区抓取了超过一百 GB 的数据，其中包括来自该网站一个名为“SmutBase”的版块的 60 多 GB 成人内容。“我们认为 Roblox 并非有意收集成人内容，我们也没有证据表明其中任何内容进入了模型或产品。这些抓取很可能是自动化的。但这正是问题所在：就我们的日志显示，没有人检查过。一个为一家平台有数千万儿童使用的公司工作的爬虫，被指向了一个成人网站，它抓取了露骨模型，却没有将它们与其他任何内容区分开来，”Open3DLabs 在一篇关于此次抓取的博客文章中写道。“对于一家正因儿童安全问题被美国几个州起诉的公司来说，‘我们的 AI 团队批量下载了一个成人网站却没看一眼’可不是什么好处境。”

匹配字段正文

曾将公司的目标形容为 机器人版ChatGPT 。 不过把AI从数字世界带入物理世界，难度也随之陡增。为此，PI成立以来不断迭代机器人基础模型，从 π0、π0.5 一路发展到今年的 π0.7 ，持续提升模型跨任务、跨设备的泛化能力。 今年4月发布的π0.7，就展示了一项颇为有趣的进展。 研究人员让一台此前 没有接受过叠衣服专项训练 的双机械臂机器人，利用模型从其他机器人上习得的知识，完成了叠衣服操作。 注意，这台机器人使用的机械臂，与此前采集叠衣服训练数据的机器人，在尺寸、结构和动作方式上都存在明显差异。 但π0.7已经能够将不同来源的经验重新组合，完成新的操作。它还能够在语言指导下，使用 此前没有专门训练过的厨房电器 ，并完成多种精细操作任务。 其中最重要的进步，是机器人开始具备了一定的 组合泛化能力 。 简单来说，过去机器人面对新任务，往往需要重新收集数据、进行专门训练；而π0.7已经能够在部分场景中， 将过去学到的本领重新组合，用来解决新的问题 。 这种能力，恰恰是通用机器人基础模型的重要基础。 更进一步，PI的技术已经开始走出实验室，进入 真实生产场景 。 今年以来，PI相继公布

匹配字段正文

话能力。对许多人来说，保留自己的声音是守住自身身份以及与周围人联系的一种方式。 “声音与身份以及我们如何与世界建立联系并为之做出贡献密切相关，”ElevenLabs 影响力负责人加比·莱博维茨（Gabi Leibowitz）说。“对于永久性失声的人群，我们看到语音复原有助于维护尊严、自主权，以及继续参与家庭、工作和社会生活的能力。” 得益于这一合作，西班牙的其他人也将如此。对马丁而言，声音不仅仅是沟通的手段。它是他作为一名教师、一位父亲和一位朋友的身份的一部分。它是一种继续分享知识、与世界互动并为社会做贡献的方式。ElevenLabs 的语音复原技术让他得以继续自己毕生的事业。 与 adELA 合作 adELA 为 ALS 患者及其家人提供支持已超过 30 年。这家非营利组织提供专业护理、心理支持和社会指导，并倡导提高对该疾病的认识以及加强相关研究。马丁自 2020 年起在 adELA 担任志愿者，并在过去一年中与该组织合作，帮助其患者在失去声音之前保存自己的声音。 “身份在很大程度上就是声音，”马丁说。“当别人听到你的声音时，他们才会看到你。” 西班牙的 ALS 患者可以通过 adE

匹配字段正文