Meta携新开放模型，再次重启其挣扎中的AI战略
Meta发布开源模型Muse Glimmer并承诺开放更强大的Muse Spark 1.2权重，同时CEO扎克伯格用长文明确押注开放权重路线，与OpenAI、Anthropic主导的闭源AI路线正面竞争。
标签： DeepSeek
Virgin Atlantic 借助 ChatGPT Work 优化客户旅程
维珍大西洋航空将 ChatGPT Work（ChatGPT 企业版）引入客户旅程研究、数据分析和产品规划，把原本耗时数周的竞品调研压缩到几小时内完成。这是企业级 AI 从“问答工具”走向“内部工作流基础设施”的一个具体案例。
Claude将黎曼猜想的界限从41.6%推进至67.2%
Jarred Sumner 让 Claude 挑战黎曼猜想，虽然未能终结猜想本身，但 Claude 在 1.5 天内将“临界线上零点占比”的已知下限从 41.6% 推进到至少 67%，并将证明在 Lean 中形式化。这展示了大模型在数学研究中连接已有成果、辅助构造证明的潜力，值得关注。
Sources: Apollo, Blackstone, BlackRock, KKR, and other financial groups are partnering with Nvidia on a $500B funding package for AI infrastructure development (Financial Times)
Apollo、Blackstone、BlackRock、KKR 等顶级金融机构正与 Nvidia 合作，计划为 AI 基础设施提供高达 5000 亿美元的融资支持。这笔钱如果落地，将显著改变 AI 算力的供给方式和投资逻辑。
Bernie Sanders 要求领先的 AI CEO 们暂停开发。阅读他的信。
美国参议员 Bernie Sanders 致信 OpenAI、Anthropic、Meta 三家前沿 AI 公司的 CEO，要求他们暂停 AI 开发，理由是“人类正在失去对模型的控制”；三家公司均未接受全面停掉，但 OpenAI 已暂停 Astra 模型的部分工作，国会层面的监管压力正在上升。
我用手上这台笔记本实测了本地 LLM
一位开发者用自己的 2021 款 M1 Pro 16GB 笔记本实测了五款主流开源小模型，发现这一代模型确实比一年前聪明不少，但“先思考后回答”的推理机制让本地运行慢到需要一两个小时，算力门槛比网上讨论的残酷得多。
OpenAI正在招聘电力交易员，因为电力如今已成为其账本上的一个头寸。
OpenAI正在招聘一位电力交易负责人，把电力采购从“交电费”升级为“管理大宗商品仓位”。这意味着AI算力扩张的核心瓶颈已经从芯片转移到了电力，而大模型公司开始用金融手段来对冲电价波动。
使用 GitHub Copilot SDK 进行 Java 开发
GitHub 发布了面向 Java 的 Copilot SDK（预览版），让 Java 服务端开发者能用注解方式调用多种 AI 模型，既摆脱了特定 AI 厂商绑定，也不再受制于 LangChain4j 或 Spring AI 等框架的约束。
Point2 raised $136M to solve AI’s wiring problem. Its RF cables beat copper on reach and optics on latency.
Point2 Technology 完成 1.36 亿美元 B 轮融资，其 e-Tube 射频电缆声称比铜缆传输距离远 10 倍，比光模块功耗低 3 倍、延迟低 1000 倍，正在试图成为 AI 数据中心内部互连的新标准。Nvidia、Arm、Molex 等产业链公司同时押注，意味着“线缆”已成为 AI 算力…
Arena Group 更名为 Paradium.AI，营收刚腰斩
美国数字出版公司 Arena Group 宣布更名为 Paradium.AI，押注 AI 内容生成与自动化叙事；但更名同期发布的最新财报显示，公司营收同比腰斩，转型尚缺乏可验证的商业成果。