Coforge称AI正在扩大其利润率。其竞争对手称之为“AI通缩
Coforge 发布 Q1 财报，营收同比增长 33%，利润率大幅提升，并将增长归因于 AI 规模化注入交付和内部运营。这与多家印度 IT 巨头警告的“AI 通缩”形成鲜明对立——AI 是压价还是提效，行业正出现分歧。
标签： 大模型
标普500中四分之一企业声称AI带来可量化收益，去年仅为14%
摩根士丹利分析发现，标普500成分股中25%的企业在最新财报季明确提到AI带来了可量化的财务收益，而一年前这个比例仅为14%。市场正从“卖铲子”（AI硬件供应商）转向“挖金子”（AI采用者），但所谓“可量化收益”多数仍停留在口头上，缺乏公开数据支撑，投资者需警惕其中的预期泡沫。
利用Claude发现加密弱点
Anthropic 自家研究人员用 Claude 发现了几种目前最强的密码学攻击方法，但过程中他们所用的“带情绪、有拼写错误”的提示方式，反而揭示了高效人机协作的一种新形态——AI 不仅能理解指令，还能读懂人类的焦虑和压力信号。
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模型，意味着开发者不再受限于海外高端芯片即可部署此类大模型。