Anthropic CEO 的妻子曾请 Epstein 资助色情项目——如今掌管 Claude
《华尔街日报》报道披露，Anthropic CEO Dario Amodei 的妻子 Cami Clark 并非只是“低调家属”，她深度参与公司战略与融资网络；而她早年的创业经历中，曾向已故性犯罪者 Jeffrey Epstein 推销一家“奢侈品色情”公司并寻求投资，被拒。
标签： Gemini
OpenAI发布的纳维-斯托克斯方程包含一份基于Lean 4的正式证明
据科技博客 John D. Cook 报道，OpenAI 发布的一份围绕纳维-斯托克斯方程的成果中包含基于 Lean 4 的形式化证明，这意味着大模型开始被用来辅助生成可被机器逐步校验的数学证明，而不只是给出自然语言推理。其真正价值在于：AI 的输出第一次能落到一个"可验证"的工程流程里。
AI真的会把我们全灭了吗？
Anthropic 研究员 Jacob Coxon 本周公开辞职，称头部 AI 公司正像“失控列车”一样推进模型，并声称“造 AI 的人真心相信它可能在本十年内灭掉人类”；Anthropic 一位安全高管随后基本认同这一判断，把 AI 末日论再次推上舆论中心。
Meta 的 AI agent Muse 现在已是美国第二大应用
Meta 新推出的 AI agent 应用 Muse 上线后在美国 iOS 下载约 8.3 万次，冲到 App Store 总榜第二；但相比 Threads、Meta AI 和 ChatGPT 的同期表现，这个开局明显更慢，说明 agent 类产品的用户教育成本可能被低估。
v2.1.268
Anthropic 为 Claude Code 发布 v2.1.268，重点强化了自托管网关的计费与访问控制能力，同时修掉了一个让第三方 Anthropic 兼容端点全部请求失败的高危回归问题。对依赖 Claude Code 做企业部署和 API 兼容接入的团队来说，这次更新更多是“止损+补管理能力”。
因Astra需求火爆，OpenAI暂停Pro订阅
OpenAI 因新模型 Astra 需求过大，暂时关闭每月 200 美元的 Pro 订阅入口，以缓解算力压力。这是少见的“有钱也先别买”的供给端动作，说明顶级推理模型的算力瓶颈正在直接影响商业化节奏。
OpenAI 公开发布 Agents API 测试版，一次 API 调用即可用上 Codex 工具链
OpenAI 把支撑 Codex 的 Agent 工具链（业内常称为 Codex harness）封装成 Agents API 并进入公开测试，开发者一次 API 调用就能调用完整的代理执行能力，而不必自己搭建工具调度、执行循环和状态管理。
黄仁勋解释为何 Nvidia 明年将实现惊人的 70% 增长
英伟达 CEO 黄仁勋在高盛科技会议上重申，公司下一财年营收有望同比增长约 70%，按分析师预期本财年约 4000 亿美元计算，明年营收可能逼近 6800 亿美元。这一判断的关键不是 GPU 卖得好，而是英伟达认为自己已经嵌入 AI 产业链的每一环。
NVIDIA Details BioNeMo Inference Runtime (BioIR): 2.90x Higher Boltz-2 Folding Throughput and 58.5K Residues per GPU-Hour on 8xH100
NVIDIA 公布了面向生物分子推理的 BioNeMo Inference Runtime（BioIR），在 8 张 H100 上跑 Boltz-2 折叠模型时吞吐提升到 2.90 倍，达到每 GPU 小时 58.5K 残基。它说明 AI 蛋白质结构预测的竞争，正从“模型精度”转向“推理效率与单位算力产出”。
Meet Redis LangCache: A Managed Semantic Cache That Cuts LLM API Costs by Up to 90% and Returns Cache Hits Up to 15x Faster
Redis 推出托管式语义缓存 LangCache，宣称最多可将 LLM API 调用成本降低 90%，缓存命中响应速度提升至 15 倍。它把「语义相似」而非「字面相同」作为复用判断标准，直指大模型应用最烧钱的一环。