仅隔一天，OpenAI同步上线o3和o4 mini，它们能调用ChatGPT里的多种工具，可基于图像思考。o3是强大推理模型，o4-mini专为快速经济推理优化。即日起部分会员可体验，还开源了Codex CLI。

AI Coding 的下一步不是写得更快，而是可验收：蚂蚁数科 Harness 工程实践

蚂蚁数字科技资深技术专家魏长征在AICon大会分享AI Coding实践。指出当前产能提升快，但验证能力可能跟不上，容易引发质量风险。介绍了Harness工程思路及在新项目和存量项目中的应用，还提及AI协作的未来挑战。

让 Coding Agent 开始「记住过去」：MemoraX Code 的长期记忆系统

过去一年，Coding Agent 改变开发者写代码方式，但进入长期开发仍会遗忘项目经验。MemoraX Code 试图解决此问题，构建了本地与云端记忆，让关键信息能被识别召回，且在赛事中表现出色，还能沉淀工程经验。

黄仁勋人生首条推文力挺开源，“Kimi恐慌”成为风暴眼

当地时间7月24日，英伟达创始人黄仁勋发首条推特分享联名信力挺开放权重AI。此事与新开源模型Kimi K3引发的‘Kimi恐慌’相关，‘开源vs闭源’路线之争因此推向高潮。同时，围绕模型蒸馏是否侵权争议不断。

深度｜开源大战全面开打：老黄+小扎 vs 奥特曼+达里奥

黄仁勋注册X账号分享公开信《Open Weights and American AI Leadership》，25家联署方支持开放权重模型，OpenAI、Anthropic、谷歌三家闭源前沿实验室未签署。信中核心论点是开放权重模型让AI成行业基础设施，还涉及蒸馏等敏感政策争论。

“今天的顶级智能，一年后就会沦为平庸的廉价品” OpenAI总裁：AGI 的终极交互是“没有界面，没有产品”

OpenAI总裁Greg Brockman分享了对AI发展的看法，称2023年推出的插件功能失败，因当时大模型未准备好。他认为未来AGI是隐形虚拟助理，无界面和产品。还指出算力稀缺，智能折旧快，模型改进空间大。

5.1K Star！Codebuff 把整个 AI 编程团队装进你的终端！

Codebuff是开源AI编程助手，获超5.1k stars。其多智能体架构让不同智能体分工协作，理解代码上下文更好、编辑更准。官方测试中完成率61%，超Claude Code。它免费且上手简单，还能创建自定义智能体。

专为终端设计 ，轻量快速，GB 大文件都秒开！

开源君发现一款基于 Rust 的终端文本编辑器 `Fresh`，目标是轻量、快速、功能强大，支持多平台，有7.1k+ star。它上手0门槛、轻量快速，有代码友好功能和丰富生产力工具，还支持插件扩展，提供多渠道安装方式。

多轮Agent蒸馏终于不翻车！港中文x通义新方法成功率暴涨18点，训练还快32%

香港中文大学联合阿里通义事业群提出TCOD训练方法，解决多轮Agent蒸馏稳定性难题。它只需对现有OPD代码做极少改动，提升了模型成功率，压缩行动步数，还减少训练时间，未来或成训练长程Agent标配。

GRPO遭遇瓶颈？G²RPO-A让自适应指导为小模型推理能力「开外挂」

大模型推理能力难迁移到小模型，现有强化学习方法如GRPO在小模型上性能提升有限。香港中文大学（深圳）唐晓莹教授团队提出G²RPO - A算法，缓解小模型奖励稀疏问题，在多模型实验中表现优于vanilla GRPO。