Annonces
L'actualité tech en une phrase — le fait le plus marquant de chaque article publié.
LTM和Cognition推出BlueVerse RightLogic，这是一项使用Devin AI为金融和保险行业自动化漏洞修复的托管服务，声称能处理80%的CVE
xAI 发布了其最强模型 Grok 4.5，覆盖移动端、桌面端和企业平台，并集成了 Microsoft 和 Google 应用的插件。
AgentRCA利用数字孪生和LLM诊断工业故障，无需标注数据，匹配监督基线并生成透明推理。
Cursor推出每月649印度卢比的印度计划，支持UPI和Cursor Router智能模型路由系统，自2026年7月28日起可用。
Nvidia推出了Cosmos-H-Dreams，一款用于手术机器人的实时生成模拟器，将Cosmos-H-Surgical-Simulator提炼成一个因果学生模型
CHARM：一种多模态图基础模型，使用层次化上下文建模和模态感知编码器，实现跨文本图的零样本迁移
OpenForgeRL是一个开源框架，将训练与框架推理解耦，使得任何基于框架的智能体都能通过数百到数千个任务进行强化学习训练。
Cognizant与Anthropic扩大合作：3万名员工接受Claude培训，合同审核缩短40%，承保人每周节省8小时。
新基准测试DDB检测代理对屏幕过渡的理解；最佳模型在35%的简单排序任务中失败，凸显验证盲点。
BAAI开源AREX，一个递归自我改进的深度研究智能体系列，它在证据收集和逐约束审核之间交替，击败大型
SceneActBench在5项多物体3D任务中测试了11种VLM配置；最高得分50.2，没有模型在所有任务上表现一致。
法国的Pionniers de l'IA计划在第二批28个获奖者后扩展至51家AI初创企业，其中健康和工业机器人获得最多资金。
美国因萨姆·图尼克在亚特兰大机场使用胁迫密码擦除手机而起诉他，援引一项极少使用的联邦法规，该法规禁止销毁财产以防止...
阿里巴巴发布了Qwen-Music，这是一款先规划旋律（Melody-CoT）的音乐生成模型，在16项客观指标中的13项上击败了Suno V5和MiniMax Music 2.6
ClinPRISM，一个用于不规则临床时间序列问答的多模态LLM，以4B参数、16个令牌和0.15秒延迟达到SOTA。
Moonshot AI发布了Kimi K3，一个2.8万亿参数的开源权重模型，性能媲美美国前沿模型，加剧了中美AI竞争并暴露出分歧
纽约大学研究人员推出了 AskChem，这是一个以论断为中心的化学搜索索引，包含来自 147K 篇论文的 240 万条论断，为科学家和 AI 提供 DOI 级别的溯源信息
据2026年7月30日提交的报告，阿里巴巴通义实验室的Qwen-UI-Agent声称取得了最先进的移动GUI得分（AndroidDaily 97.5%）。
FrontisAI开源了OpenMLE和Frontis-MA1——一个在单张RTX 4090上于MLE-Bench Lite取得71.21%成绩、击败GPT-5.5 + Codex的35B元进化智能体。
CASIA的PhiZero世界模型在渲染视频之前，先用自学到的“物理语言”推理未来状态，而不是直接预测像素