新模型亦是新 Agent，Kimi-Researcher 超大量一手实测！

2025 年被称为“Agent 元年”，月之暗面发布了端到端强化学习训练的新一代 Agent 模型 Kimi - Researcher，其基座是自研新模型。文章对其进行大量实测，与 OpenAI 等对比，并探讨了 Deep Research 的重要性及 Kimi 的不足。

小红书hi lab首次开源文本大模型，训练资源不到Qwen2.5 72B 的四分之一

6月6日，小红书hi lab团队首次开源文本大模型dots.llm1，采用MIT许可证。该模型激活参数量140亿，总参数量1420亿，上下文长度32K。训练资源不到Qwen2.5 72B的四分之一，在多个测评中表现出色。

Cursor迎来史诗级更新，关于Cursor 1.0.0版本，这里有你需要知道的一切！

2025年6月5日，上线2年的Cursor迎来首个正式版1.0.0。此次更新功能多且关键，如上线代码审查工具Bugbot、全面开放后台代理功能等，虽提升了开发效率，但部分功能有使用成本，对新手不太友好。

微软 CTO 在 Rust Nation UK 大会上详解成功经验、挑战及对 Rust 编程语言的承诺

微软Azure首席技术官Mark Russinovich在Rust Nation UK大会探讨推动Rust采用的因素，展示微软产品中Rust应用成果，介绍用生成式AI加速C/C++向Rust迁移的努力，还提及开发者反馈及微软对Rust的承诺。

再见Bug！谷歌超级编码智能体Jules上线，免费使用直连GitHub

谷歌推出编程智能体Jules，进入全球测试阶段，有Google账户的开发者可免费试用每日5次。它基于Gemini 2.5 Pro模型，能写代码、修Bug等，还可连GitHub简化流程，预计今年晚些时候推更多功能和企业版。

本文关注vllm V1中管控模型分布式推理的Executor部分，介绍其类型、Executor-Workers架构及数据传输机制，对比V0架构优势，以单机多卡的MultiprocExecutor为例展开讲解，还提及不同数据量的传输方式及相关代码。

智能体时代EDA工具革新，比昂芯科技专注AI驱动电路仿真及Chiplets设计

近期，AI+芯片设计生成成全球资本热门赛道。比昂芯科技早在2024年就启动AI在EDA领域的底层技术探索，形成AI原生EDA完整技术闭环。其研发总监吴晨博士在IDAS 2026分享实践，公司还有四大核心产品及服务。

实测 MiniMax H3：开源“斩杀线”蔓延到视频模型圈

本文实测 MiniMax H3 视频模型，它 8 月 3 日开源，成本低至 0.5 元/秒，在编辑榜成绩佳。它定位全模态生成，能多素材输入。实测效果好，价格约为 Seedance 2.5 的三分之一，还支持原生剪辑，适配多芯片与工具。

北大2篇Skill炸场，Agent彻底进化

北京大学连发两篇论文，给出让 Agent 变强的答案：让 Skill 自己进化。`SESA` 针对工具增强的搜索问答，用四个阶段闭环使任务生成和技能记忆一起进化；`VeriSkill` 把验证器废信号变成可信更新，二者场景不同但核心一致。

小扎「芒果」生图只输GPT Image 2，没人教它改稿，它自己学会了

Meta推出图像生成模型Muse Image（代号「芒果」）和视频模型Muse Video预览版。Muse Image在文生图榜单排第二，改变画图方式，能自我修正。它与Muse Spark打通，Muse Video文生视频排第3。不过，其@功能有隐私隐患。