Meta 警告中期选举后数据中心遭遇的反弹将加大 AI 扩张难度
Meta 总裁 Dina Powell McCormick 在 WSJ Tech 会议上表示，中期选举中民主党获胜将使企业建设数据中心更难，并称行业在解释这类投资的好处上做得不够。
#数据/训练
TechCrunch · AIAI 评分5858 TechCrunch · AIAI 评分6262 Axiom Math 用 AI 智能体形式化验证 Stacks Project
估值 16 亿美元的 Axiom Math 宣布已正式验证 Stacks Project，其 AI 智能体团队把这部约 7654 页的数学文献翻译成约 1600 万行 Lean 代码。
TechCrunch · AIAI 评分5858 Dropbox 以 3.5 亿美元收购 Tigris Data，强化 AI 基础设施
Dropbox 宣布以 3.5 亿美元收购云存储公司 Tigris Data，这被认为是其迄今最大的一笔收购，交易预计在 2026 年第四季度完成。该交易将支持面向企业和开发者的存储平台 DBX Agent Cloud，初期以独立对象存储产品形式提供，兼容 Amazon S3 工具。
Ars Technica · AIAI 评分5858 乌克兰无人机袭击后，俄罗斯科技公司筹划把数据中心转入地下
乌克兰无人机袭击损坏了俄罗斯境内承载 AI 超算的数据中心并中断数百万用户的云服务后，俄罗斯科技公司正加紧加固和隐藏数据中心，国有电信公司 Rostelcom 已与 Norilsk 讨论将部分数据中心转入地下的可能。
Mistral AIAI 评分4848 Mistral 与 NVIDIA 合作推进工程领域 AI
Mistral 与 NVIDIA 合作开发 AI 原生工程工作流，将 Mistral Large 4 与 NVIDIA CUDA-X、Warp 结合，加速工程仿真并打通仿真、模型开发与设计闭环。
Mistral AIAI 评分4242 Mistral 在慕尼黑开设德国中心，推进工业 AI 与 Physics AI
Mistral 在慕尼黑开设新中心，组建专注 Physics AI 与工业 AI 的研究团队，并直接服务企业客户。Mistral 计划到 2030 年建成 1 吉瓦欧洲算力，其开放权重模型可在客户自有基础设施上运行。慕尼黑团队正与 BMW 合作碰撞仿真、与 Siemens Energy 合作工业 AI 应用，并与慕尼黑工业大学（TUM）共建汽车空气动力学数字孪生研究。