全球首个公开测评：Kimi K3黑客技能仅达美国前沿模型六成，谁在裸泳？ Kimi...

能研发出来之后，还需要能造出来。#欢迎关注爱范儿官方微信公众号：爱范儿（微信号：ifanr），更多精彩内容第一时间为您奉上。

7月13日，华为云开发者发展与运营部部长林华鼎受邀走进中山大学深圳校区电子与通信工程学院，为30名学生带来《AI编程实战：重构学习生活，洞见企业级开发》专题授课，聚焦智能体时代产业真实需求，输出企业级AI开发核心逻辑与实践方法。后续将与中山大学展开深度对接，探索AI开发课程合作，为学生开展科研辅助、前沿技术洞察提供支持。参与学生表示，本次课程厘清了产业趋势与企业人才需求，明确了可结合电子通信...

(全球TMT 2026年07月20日讯)在2026世界人工智能大会（WAIC）全球工业人工智能国际合作论坛期间 […]

猫抓（cat-catch）是一款浏览器扩展，用来下载在线视频，包含绝大多数可以在浏览器中直接播放的视频，用起来非常简单。@Appinn 最近猫抓 2.7.1 更新，继续增强了 m3u8 下载能力，提升浏览器兼容性（尤其 Firefox、Edge、Brave），以及修复稳定性，推荐更新。 上次关注到猫

过去几年，我们讨论 AI 对软件研发的影响，最常使用的仍是个人生产力：一个功能要多久，一名开发者能同时推进多少任务，Coding Agent 能生成多少代码。AI 确实显著降低了执行成本，过去数天才能形成的初步实现，现在几个小时后就可能进入 Pull Request。

文远知行发布的WITT大模型通过“最小物理事实单元”概念，提升自动驾驶数据处理效率，单卡日处理1万分钟视频。该系统提取、推理、验证和编排事实，帮助工程师快速定位高价值场景，优化模型训练，旨在提高数据利用率，缩短模型迭代周期，推动自动驾驶技术进步。

随着AI技术的发展，代码托管平台的角色正在转变。Coding将构建基于AI的研发生态，帮助开发者更好地理解和利用代码。通过开放接口、图数据库和代码检索等能力，AI将提升研发效率，并提供统一的AI能力底座，支持智能应用的快速构建，实现代码知识的自动沉淀和复用，推动研发流程的智能化升级。

无问芯穹与清华大学联合研发的RLinf v0.3是全球首个支持具身智能持续进化的强化学习基础设施，解决了行业发展瓶颈。该平台实现了数据采集、管理和强化学习的闭环，提升了训练效率和部署灵活性，支持多种AI计算平台，推动了具身智能的长期进化。

ScaleCUA是清华大学和Z.AI团队提出的框架，旨在解决Computer Use Agent（CUA）训练数据稀缺问题。通过可验证任务合成、动态学习前沿采样和视觉上下文分割，ScaleCUA显著提升了数据质量和训练效率，使开源CUA在OSWorld上达到了68.7%的新高，超越了参数量大四倍的竞品。这一方法强调了数据质量的重要性，证明了在CUA领域，数据效率优于模型参数规模。

Empero 开源了 Qwythos-9B-Claude-Mythos-5-1M，这是一款增强推理能力的小模型，拥有 90 亿参数。该模型通过高质量数据提升复杂推理任务的表现，支持长上下文和工具调用，拓展了多模态应用。HyperAI 提供了快速部署和测试的资源，方便开发者使用。

清华大学团队在ICML 26上获得杰出论文奖，提出了JustGRPO模型，解决了扩散语言模型（dLLM）在数学和编程推理中的灵活性陷阱问题。该模型在GSM8K基准测试中取得89.1%的准确率，展示了其推理潜力。

异步处理是一种提高系统并发性和隐藏延迟的有效技术。与同步处理不同，异步处理允许多个任务同时进行，显著提升用户体验。事件循环是异步系统的核心，负责管理多个I/O操作，通过I/O多路复用接口，系统可以在等待操作完成时继续处理其他任务，从而减少用户等待时间。尽管异步处理能提高性能，但也需注意潜在的陷阱。

GPT-5.6在ARC-AGI-3基准测试中展现出“情境锚定”能力，尽管整体得分仅为7.78%，但在特定任务FT09中取得87%的正确率。这标志着AI从“解题机器”向“环境阅读者”的转变，显示出其在新环境中理解规则的认知灵活性。虽然在高难度任务上表现有限，但这一突破为通用智能的发展指明了方向。

Meta推出闭源人工智能模型Muse Spark 1.1，主要用于智能体和多模态任务。尽管编码能力不突出，但在智能体工作中表现良好。该模型支持跨应用工作流，优化任务处理。调用价格为每百万输入1.25美元，输出4.25美元，目前仅面向美国开发者开放。