Kimi Linear：一种表现力强且高效的注意力架构
Kimi 团队发布了新型混合线性注意力架构 Kimi Linear，在短上下文、长上下文和强化学习场景下，全面超越了传统全注意力模型，同时将 KV 缓存占用降低最多 75%，1M 上下文解码吞吐量提升高达 6 倍。这可能是继 Mamba 后，对 Transformer 注意力机制最实用的一次效率革新。
标签： 大模型
查尔斯·布考斯基能给AI开发者们什么启示？
Hacker News 上一条关于“查尔斯·布考斯基能给AI开发者什么启示”的帖子引发热议。核心观点是：劳动节约型技术并未真正解放人类，反而可能催生新的996；布考斯基主动停止产出劣质文字、走向家人和猫的行为，提醒AI从业者警惕“无用产出”的陷阱，重新审视休息与创造力的关系。
Show HN：形式验证的 3D CSG：相信93行规格，而非1000行AI代码
一位开发者利用AI辅助生成并验证了一个3D布尔运算（CSG）核心代码，其创新之处在于：人类只需检查93行的形式化规格说明，由Lean证明助手自动验证AI生成的60000行证明，从而确保1000多行实现代码的正确性。这挑战了“AI代码不可信赖”的固有认知，并为高可靠性场景下的AI编程提供了新范式。
快速修复成为新信任模式（JFrog与OpenAI零日漏洞发现）
OpenAI 内部安全研究员利用对 ChatGPT 运行环境的探测，揭露了 Jfrog Artifactory 存在两个高危漏洞（认证绕过和 SSRF）。这起事件不仅展示了 AI 模型自身成为安全探测工具的可能性，也暴露了快速迭代的 AI 工具（所谓“vibe coding”）可能在供应链中引入基础性安全缺陷…
GitHub Actions 扣留潜在恶意工作流以待审批
GitHub Actions 新增自动保护机制，能识别并扣留潜在恶意的 CI/CD 工作流，待仓库拥有写权限的协作者通过已验证 Web 会话审批后才执行，以防范利用泄露凭据发起的供应链攻击。
《纽约时报》能否从AI霸主手中拯救新闻业？
《纽约时报》出版人A.G. Sulzberger在接受Wired访谈时，系统阐述了该报起诉OpenAI和微软侵犯版权、特朗普政府打压新闻自由、以及AI重塑信息消费方式三重危机，认为新闻业正面临“生存级”挑战。这场法律战不仅是商业纠纷，更可能确立AI训练数据合法使用的边界。
国产 GPU 也能跑万亿大模型：海光 DCU 适配 Kimi K3，896 专家并行不卡顿
7月28日，海光信息宣布其DCU国产GPU成功适配月之暗面Kimi K3万亿参数大模型，支持896个专家并行推理且性能稳定，性能损失控制在12%以内，达到商业部署门槛。这是国产算力首次独立支撑万亿级MoE模型，意味着开发者不再受限于海外高端芯片即可部署此类大模型。
Kimi K3 开放日：模型权重、技术报告和关键 Infra 技术同步开放
月之暗面（Kimi）在“K3 开放日”正式开源其最强模型 Kimi K3 的权重和技术报告，并同步公开三项支撑模型训练的关键基础设施技术（MoonEP、FlashKDA、AgentEnv）。这是国内大模型公司一次性将前沿模型参数、训练方法论和底层算力系统同步开源的重要案例。
如何评估不同 LLM 提供商在延迟、吞吐量和正常运行时间上的性能
选择大模型时不能只看模型名字，同一模型在不同 API 提供商手中，延迟、吞吐量、稳定性和实际回答质量都可能天差地别；OpenRouter 发布的这份评估指南，为开发者提供了一套可量化、可操作的提供商性能衡量方法，帮助避免被单一基准测试误导。
三星博通联手超 2000 亿美元，全面押注下一代AI芯片
三星与博通宣布长期深度合作，共同投资超过2000亿美元（预计到2030年业务规模），围绕三星的sub-2nm工艺和HBM内存联合开发下一代AI定制芯片。这标志着AI芯片从依赖通用GPU转向“设计+制造”深度整合，代工与存储的协同将直接影响未来大模型的训练效率和推理速度。