AI 新闻

据《纽约时报》报道，一家新加坡AI云公司高管被指非法向中国出售英伟达芯片，同时可能涉及针对英伟达CEO的间谍活动，美方已就此展开调查。这一说法将出口管制执法与国家安全叙事进一步绑定。

谷歌在Q3财报中承认AI搜索的变现效率低于传统搜索，同时现金流承压、股价下挫。它给出的解法是加广告——这既是商业现实，也是AI搜索商业模式的第一次公开压力测试。

Dream 获 a16z 领投 1700 万美元，基于约 1 亿平方英尺建筑许可数据构建面向建筑业的 AI 世界模型，目标直指 Autodesk 的设计软件腹地。

微软在美国、英国、加拿大等地向约 6 万名员工提供自愿买断方案，这是纳德拉多年表态后最清晰的一次信号：AI 将实质性改变微软的员工结构。

Mistral 开源万亿参数模型 Large 4（Le Chonk），编程能力超过自家开源对手且推理快、成本低，但独立测试显示其综合得分仍落后 DeepSeek 与智谱的最新模型。

一项在 Hacker News 引发讨论的统计显示，AI 回答中引用的统计数据仅约 40% 能回溯到原始研究，暴露出大模型在事实溯源上的系统性短板。

WIRED 报道的新创公司 &Truth 试图把形式化验证自动化，用数学证明程序确实按预期运行，为日益依赖 AI 生成代码的“氛围编程”补上可靠性缺口。

纽约时报烹饪App正在测试AI菜谱修改功能，可推荐食材与厨具替代方案、按份数缩放用量，却在用户中引发争议。

Wabi 以 12.5 亿美元估值完成 5500 万美元融资，并从“AI 应用”重新定位为“个人代理”，折射出 AI 代理赛道从工具向执行者的转向。

以隐私立身的 Proton 在 AI 浪潮中陷入内部争论：一边是公开宣言式的表态，一边是对落后的恐惧与被内部批评为“失败者思维”的心态。这场自我审视折射出欧洲隐私科技公司在 AI 时代的普遍困境。

Mistral 将其旗舰级大模型 Large 4（代号 Le Chonk）以开放权重形式发布，这是欧洲头部厂商在开源与闭源路线之间的一次关键选择。

美国司法部正审查英伟达拟收购开源平台Hugging Face的交易，并同步关注其销售行为。这笔交易触及开源生态与AI芯片供应的交叉地带，监管逻辑值得拆解。