Axiom Math 希望阻止 AI 低质量内容充斥数学领域
未经核验的证明不断涌入数学领域，初创公司 Axiom Math 因此押注于验证技术。该公司的 AI 智能体已对 Stacks Project 进行形式化验证；这是该领域规模最大的资料库之一。
AI 新闻中心
AI 新闻中心 过去24小时分析了 187 篇文章，发现了 0 条重要报道 (分数 ≥ 5.5)
获取从可信来源聚合的最新 AI 新闻。
Humble Robotics 获得 5100 万美元融资，开发无驾驶室自动驾驶电动卡车
Humble Robotics 正在开发用于 250 英里以内区域线路的无驾驶室自动驾驶电动卡车。公司获得 5100 万美元融资，累计融资额达到 7500 万美元。许多自动驾驶卡车公司选择改造现有车型，而 Humble 希望重新设计卡车本身。
AI股票抛售只是多年周期中的“一波小浪”，伯恩斯坦的查洛夫表示
伯恩斯坦私人财富管理公司首席投资官亚历克斯·查洛夫表示，AI股票下跌正在创造买入机会。他在《Bloomberg Open Interest》节目中分享了这一看法。
各州反对数据中心的声音正在重塑人工智能投资格局
民主党在国会及多场州长选举中取得进展后，所谓新型云服务商的股价下跌。部分候选人承诺对数据中心及其他基础设施建设实施更严格的限制，促使投资者和企业管理层重新评估成本上升与项目延期的风险。野村资深基金经理布拉德·沃登讨论了人工智能投资周期的变化，以及中期选举后基础设施建设可能出现的转向。
NitroFusion2 将对抗损失引入多模态扩散 Transformer 的文本流
传统的对抗式扩散蒸馏通常使用图像特征进行判别。NitroFusion2 提出文本流对抗蒸馏（TSAD），将文本 token 的中间状态用作判别器表征。由于联合注意力使文本流能够融入图像信息，方面提示判别（ACD）可引导训练侧重字体排版、物体或风格等属性。研究团队称，该方法将蒸馏步数从常见的 4 至 8 步减少到 1 至 2 步，同时保持相近质量。单步生成即可呈现清晰文字和丰富细节；两步生成在所评测
获英伟达支持的 Cohere 营收激增，IPO 时间仍未确定
加拿大人工智能公司 Cohere 的首席执行官表示，尽管营收大幅增长，公司上市时间仍不确定。这家初创公司正获得英伟达和加拿大政府的新支持。
欧洲如何在人工智能领域与美国和中国竞争
欧洲的人工智能竞争力或许不在于打造更大的模型，而在于建立更完善、更多元的工具体系。
梅赛德斯-奔驰与Liquid AI合作，将对话式AI模型部署到车端
梅赛德斯-奔驰正与源自麻省理工学院的初创公司Liquid AI合作，让对话式AI模型直接在汽车上运行，而不是依赖云端。
市场对人工智能投资的疑虑升温，芯片股跌势加剧
半导体股票周四延续近期跌势。中期选举后的政治局势下，投资者对人工智能相关投资交易的态度日益谨慎。
Shield AI拟以53亿美元收购雷达公司，估值有望达到288亿美元
据报道，国防科技初创公司Shield AI即将以53亿美元收购Echodyne Corp.。Echodyne向政府和商业客户销售雷达传感器。如果交易完成，Shield AI的估值将达到288亿美元。
延迟与成本问题令微软对 IREN、Nebius、Nscale 等新兴云服务商转趋谨慎
微软曾与新兴数据中心运营商签署数百亿美元合同，推动新兴云服务商热潮，以满足其云和人工智能服务的巨大需求。标题指出，受延迟和成本影响，微软如今对 IREN、Nebius、Nscale 等供应商的态度有所转变。
遭网站屏蔽爬虫后，Anthropic 首次付费获取新闻内容授权
据《Adweek》报道，Anthropic 首次与新闻机构美联社（AP）签订内容授权协议。美国中期选举之夜，Claude 可以实时展示 AP 的选举结果并注明来源。双方未披露协议的财务条款和期限。此前，Anthropic 认为抓取出版商网站内容符合合理使用原则；一些出版商则屏蔽了该公司的爬虫。竞争对手 OpenAI 已与十多家媒体机构达成类似协议。
存储芯片股表现不佳：选后科技股普涨，部分芯片股却下跌，原因何在？
民主党周二大胜后，投资者似乎不再那么确信人工智能数据中心建设会按预期规模推进。2026年中期选举结果带动股市上涨，几乎所有大型科技公司股价均显著走高。不过，部分芯片股仍逆势下跌。
AI热潮背后的供应链隐性成本
节目主持人与经济学家、哈佛商学院管理实践教授威利·石（Willy Shih）对谈。石是即将出版的《Where Does My Stuff Come From? The Powerful Economics Behind Global Supply Chains》一书的作者。对谈聚焦人工智能热潮给全球供应链带来的隐性成本。
自主无人机配送初创公司 Zipline 获 15 亿美元融资，估值达 215 亿美元
自主无人机配送公司 Zipline 获得 15 亿美元融资，估值达到 215 亿美元；该公司 1 月融资 6 亿美元时的估值为 78.5 亿美元。首席执行官凯勒·克利夫顿表示，公司计划扩大在美国的制造业务。他认为估值上升表明自主配送正得到更广泛的认可。