Gimlet 的 B 轮融资
AI 推理基础设施公司 Gimlet Labs 宣布完成 3 亿美元 B 轮融资，由 Andreessen Horowitz 领投。该公司主推“异构芯片”推理云，试图在不增加功耗的前提下把大模型推理速度提升数倍，以应对 token 生成量激增带来的算力瓶颈。
标签： 算力
Sources: the US and China will discuss AI safety risks during talks planned for mid-September, with Treasury Secretary Scott Bessent leading the US side (Laurie Chen/Reuters)
美国财政部长斯科特·贝森特将带队，于9月中旬与中国就AI安全风险展开正式对话。这是两国在AI监管协调上少有的高层直接沟通，为后续技术管控与合作划出初步边界。
NBA对快船下狠手：罚款3000万美元，罚掉5个首轮选秀权，Steve Ballmer被禁赛一年
NBA 因洛杉矶快船队涉嫌通过场外商业合作变相补贴球星 Kawhi Leonard，开出联盟史上最重罚单：罚款 3000 万美元、没收 2029 至 2033 年全部五个首轮选秀权，老板 Steve Ballmer 被禁赛一年。这起事件虽是体育新闻，但其核心争议——利用投资关系绕过规则输送利益——对理解科技巨…
人工智能现在能设计电路板了吗？
电子工程领域开始用公开基准测试检验大模型能否独立完成电路板设计，目前结论是：AI 能辅助部分流程，但距离全自动设计还有明显差距。
Spotify 的 Portal 将我的 Claude Code token 用量减少了 90%
一位开发者分享了使用 Spotify 开源的 Portal 工具后，将 Claude Code 的 token 消耗降低了约 90%，核心做法是把“阅读大文件”这类高成本操作从顶级模型转移到更便宜的小模型上，从而大幅削减 API 成本。
费马大定理：Anthropic已经抢先一步了
Anthropic 的内部模型借助 prove2.me 平台，在 Lean 证明助手中完成了费马大定理（FLT）的完整机器形式化证明，耗时仅 11 天，补上了存在 20 年之久的百大形式化挑战清单的最后一块拼图。
Apple 计划于 2027 年推出 AI 家用安防摄像头及配套服务
据 Bloomberg 报道，Apple 计划于 2027 年推出自研 AI 家用安防摄像头及配套监控服务。与市面产品不同，这款设备将通过 AI 分析监控环境而非直接记录视频，延续 Apple 在隐私保护上的差异化路线。
Filing: AI training data startup Micro1 offers to pay $12.5M for Spirit Airlines’ data; the offer faces hurdles as Spirit already has a $10M deal with Google (Jonathan Randles/Bloomberg)
AI 训练数据初创公司 Micro1 提议以 1250 万美元收购 Spirit Airlines 的数据资产，但这笔交易面临障碍，因为 Spirit 已与 Google 签有 1000 万美元的协议。此事折射出 AI 公司对真实世界专有数据的争夺已延伸至航空业。
AI算力提供商Nscale寻求35亿美元IPO前融资
英国AI算力基础设施公司Nscale在上市前夕寻求35亿美元融资，其中包含向英伟达争取20亿美元投资。这起交易如果落地，将再次放大英伟达在AI算力产业链中的话语权，也可能成为欧洲AI基建公司冲击公开市场的一个重要样本。
前沿推理走向边缘：如何在 NVIDIA Jetson 上部署和优化模型
NVIDIA 正在把过去需要数据中心才能运行的多步推理和智能体（Agentic AI）能力，推向 Jetson 边缘设备。以 Nemotron 3.5 Lightning 和 Qwen3.8-27B 为代表的新一代紧凑开源模型，配合量化与投机解码技术，让端侧本地运行复杂推理成为现实。