AI行业资讯

苹果在最新系统更新中首次直接点名致谢AI模型，包括Anthropic的Claude和OpenAI的Codex Security，它们协助发现了多项安全漏洞。这是苹果首次在官方CVE漏洞归因中提及AI模型名字，标志着AI在安全攻防中的角色从辅助工具升级为核心力量。NVIDIA的AI红队和Z.ai的GLM模型也贡献了修复成果。此举得益于Anthropic发起的Glasswing计划，该计划耗资1亿美元，联合多家科技巨头，旨在让AI提前预警并修补漏洞，重塑网络安全格局。

总部位于纽约的AI检测初创公司Pangram宣布获得900万美元融资，由Menlo Ventures领投。该公司同步推出新一代文本检测模型Pangram 4，声称对AI辅助写作和混合人机内容的检测准确率超过99%，并新增AI人机化程序的识别能力。此外，Pangram还发布了AI图像检测模型的研究预览版。创始人表示，该技术通过训练模型学习AI与人类在风格和选择上的差异，而非依赖元数据或水印，旨在帮助用户辨别内容是否由AI生成，以应对互联网上日益泛滥的AI生成内容。

Fish Audio在成立周年之际发布其最强大的生产级语音大模型S2.1Pro，专为实时对话场景打造。该模型实现约90毫秒首帧音频延迟，支持83种语言及统一语音识别架构，突破传统情绪菜单限制，允许通过括号标签实现耳语、紧张笑声等细粒度行内指令。S2.1Pro原生支持多说话人对话生成，仅需10至30秒短参考样本即可完成高质量语音克隆，无需额外微调即可复刻目标语调与说话风格。目前通过Fish Audio API上线，并提供合理限额免费版本供开发测试。

印度德里高等法院近日裁定，OpenAI使用亚洲国际新闻社（ANI）的新闻内容训练AI模型不构成版权侵权。法院认为该行为属于印度《版权法》中的研究类“合理使用”例外，且ANI未能证明ChatGPT直接复制其受保护内容。法官拒绝签发临时禁令，强调禁令将阻碍印度本土大语言模型发展，并损害公共利益。这一裁决为全球AI训练版权争议提供了重要参考。

月之暗面于7月28日开源了2.8万亿参数模型Kimi K3，这是全球首个开源的3万亿级别大模型，拥有100万token上下文窗口，原生支持视觉理解，并融合KDA混合线性注意力机制等多项架构创新。同日，摩尔线程宣布其AI训推一体智算卡MTT S5000及MUSA软件栈率先完成Kimi K3的极速适配与稳定拉起，验证了国产全功能GPU支撑万亿级大模型研发与工程落地的硬核实力，标志着国产算力与顶尖开源生态的深维协同进入新阶段。

来自OpenAI、Anthropic、谷歌和Meta等头部AI公司的1134名员工联合签署公开信，呼吁美国政府支持国际合作，开发技术和治理工具，以便在必要时对AI发展“有意识地把控节奏”。OpenAI CEO萨姆·奥尔特曼罕见表态支持这一倡议，标志行业内部对无节制加速的焦虑从边缘走向主流。公开信聚焦“自动化AI开发”风险，即AI系统能够自行开发和改进AI的能力，业界称为“递归式自我改进”，认为这可能导致AI能力发展速度超出人类理解或控制能力。

OpenRouter发布了官方LangChain集成包，支持Python和TypeScript，开发者可一行代码切换400多款模型。该包自动处理负载均衡、故障转移和计费，未成功请求不收费，默认按价格优化成本。通过provider/model格式字符串即可更换模型，支持流式响应、工具调用和结构化输出，将复杂路由工程简化为配置项。

闲鱼发布2026年上半年数据，AI服务成为平台最火热的消费品类，订单量达981.6万单，同比增长157%，近500万用户购买AI服务，同比增长98%。AI技能接单为第一大品类，占全部AI订单的45.1%；AI编程与建站订单同比增长1732%，AI漫剧订单增长1425%。卖家以18至35岁女性为主，占比62.4%，四线城市卖家占比最高达32.2%，显示AI技术正通过二手交易平台实现普惠化渗透。

健康AI蚂蚁阿福升级上线“AI拍饮食”功能，用户可通过拍照、文字、语音等方式让AI测算食物热量与营养信息，获得个性化饮食搭配和运动消耗建议。该功能支持一键记录健康档案，灵活修改饮食数据，帮助用户科学管理体重。自6月发起“科学减重1亿斤”行动以来，已有近150万网友参与，累计减重超210万斤。阿福的AI营养师功能有望推动全民合理膳食与健康体重管理。

据《商业内幕》报道，亚马逊正大幅调整AI战略，停止对旗下大部分自研Nova系列大模型的积极开发，包括旗舰级Nova Premier、Omni模型、Reel视频模型及Canvas图像生成器，这些产品已转入维持运行模式。研发资源全面转向由皮特·阿贝尔领导的前沿模型团队，全新基础模型预计将于今年秋季re:Invent大会发布。此次调整标志着科技巨头从多线铺开转向集中资源攻坚单一顶级前沿模型，亚马逊在强化云生态与外部投资的同时，力求通过精准技术突破重塑竞争地位。

据彭博社报道，AI技术正显著加快软件漏洞的发现速度，2026年热门科技产品中的安全缺陷数量预计比去年翻一番。今年1月至本周一，美国国家漏洞数据库已收录45207个漏洞，接近去年全年总量。甲骨文、微软、谷歌等科技巨头披露的漏洞数量均创下历史新高，其中谷歌7月发现的433个Chrome漏洞中，401个来自内部AI工具。同时，黑客将漏洞转化为攻击代码的平均时间已从72小时缩短至24小时，AI驱动的安全攻防战进入高节奏阶段。

SpaceXAI为Grok推出Build模式，用户仅需输入文本提示词即可生成带独立域名的完整应用。该功能面向月费300美元的SuperGrok Heavy用户开放，支持网页端、iOS及Android端。系统可将自然语言实时转化为功能齐全的网站、工具或互动媒体，并提供实时预览与无代码微调能力，标志着Grok从对话式AI向创意生成平台迈进。

支付宝近日升级AI支付开发者激励计划，为AI开发者提供最高5660元的Token专项补贴，并扩展激励范围，降低参与门槛。即日起至8月21日，个人开发者集成AI按量付费、AI网页应用收款或AI移动应用收款产品，按累计有效交易用户数解锁分档激励。计划重点支持三大收款产品，覆盖网页、移动端及按量付费场景，其中AI按量付费享受0费率优惠至2026年底。此举旨在降低创新成本，加速智能体商业生态发展。

据彭博社报道，分布式数据库厂商OceanBase正与多家头部机构洽谈20亿至30亿元人民币A轮融资，旨在增强独立运营能力并加速向AI数据平台拓展。公司2026年年化收入已超14亿元，同比增长约70%，拥有数千家客户并布局全球市场。目前OceanBase对标Databricks，从核心交易系统向企业全量数据管理及Agent数据供给延伸，推出新一代湖库一体AI数据库推进商业化。

一篇来自arXiv的论文提出llm-wiki-memory-template，这是一种基于LLM维护的维基系统，旨在解决研究项目中知识丢失和负面结果无法记录的问题。该模板支持多人类、多AI代理、多领域的异构协作知识工作，通过只追加的维基结构保留失败路径和撤回声明，并已在三个案例中得到验证，包括一个双人项目将实验覆盖率从20/20修正为14和12，后经修复提升至18和18。

Kernel Forge是一个开源端到端智能体框架，利用大语言模型和蒙特卡洛树搜索自动生成并优化CUDA内核。它支持视觉、扩散和LLM模型，可直接处理未修改的PyTorch模型，并提供图形界面监控调试。在DGX Spark上对ResNet-50、Stable Diffusion 3.5等模型测试，优化14个内核均超越PyTorch eager模式，最高加速达2.83倍，显著降低GPU编程门槛。

数据安全公司Cyera宣布以约10亿美元收购专注于非人类身份安全的初创公司Oasis Security，交易将以现金和股票形式完成。Oasis主要保护AI代理等非人类实体的行为监控与权限管理，随着AI代理数量激增，此类安全需求日益凸显。Cyera近期完成6亿美元融资，估值达120亿美元，此次收购旨在整合Oasis技术，打造统一身份与数据安全平台，进一步巩固其在企业网络安全领域的地位。

总部位于佛罗里达州玛丽湖的网络安全初创公司Spur Intelligence，从Insight Partners获得了2亿美元融资。该公司由两位前国防部工程师于2017年创立，专注于帮助企业区分真实用户与日益隐蔽的机器人流量。随着代理网络和匿名化基础设施的泛滥，以及Cloudflare报告显示机器人流量已首次超过人类，Spur的技术在识别虚假用户和威胁方面变得至关重要。

AI语音模型初创公司Fish Audio宣布完成5000万美元种子轮融资，由Coreline Ventures和Capital Today领投。该公司提供超过15000种自然语言控制的语音库，自去年推出以来已拥有超过800万用户，年度经常性收入达2100万美元。Fish Audio由前NVIDIA研究员廖世佳创立，其开源项目Fish Speech在GitHub上获得超过31000星标。公司已推出五款模型，包括四款语音生成模型和一款语音转文本模型，最新S2.1 Pro模型仅通过付费API提供。企业客户如HeyGen、Sanas和Plaud已在使用其平台。面对创作者关于语音未经同意被上传的争议，公司已自动化下架流程，确保问题在三分钟内解决。

一项开创性项目首次实现了3D构造实体几何（CSG）操作的形式化验证——使用Lean 4验证了网格相交算法的正确性。项目仅需人类审查93行形式化规范，而AI自主编写了超过6万行证明代码，通过Lean检查器确保实现与规范一致，无需信任任何大语言模型。尽管性能远低于传统实现（相交两个7万三角形斯坦福兔子需24秒），但该项目优先保障人类对正确性的审查最小化，展示了形式化验证在AI生成代码可信度问题上的解决方案。