理想汽车车载大模型荣获由CCIA汽车网络安全工作委员会颁发的《生成内容安全测评证书》，及人工智能生成合成内容标识服务平台颁发的《生成合成内容标识报告》，成为国内首批通过GB/T 45654、GB 45438-2025双国标认证的车企
OpenAI的神秘模型o3-alpha意外曝光，其强大的代码能力碾压众多AI。该模型疑似在东京AtCoder世界编程大赛2025中夺得亚军，最终不敌人类选手Psyho。
稚晖君之后，王兴兴也来到了资本市场门口。创业九年，宇树科技终于走到IPO门前。这次不再是传闻。
Trae 2.0 即将到来，根据 Trae 的发布说明，这次带来的 TRAE SOLO 功能将极大改变你的编程体验！Trae 团队深信，一个真正强大的编码 AI 需要完全理解你的工作全貌才能发挥最佳效果。正是基于这一理念，他们打造了 SOLO —— 一个智能上下文工程师。
OpenAI推出ChatGPT agent引发国产Agent竞品（如Manus、Genspark）公开对比，声称自身更优。实测退休计划任务显示，ChatGPT输出简陋，仅20分钟完成简易PPT；而Kimi报告详尽并互动提问，Minimax多格式输出，Manus快速设计美观。ChatGPT仅功能整合，非革命性升级，但标志AI从问答向任务执行协作转型。
MiniMax 在 7 月 10 日面向全球举办了 M1 技术研讨会，邀请了来自香港科技大学、滑铁卢大学、Anthropic、Hugging Face、SGLang、vLLM、RL领域的研究者及业界嘉宾，就模型架构创新、RL训练、长上下文应用等领域进行了深入的探讨。
随着基础大模型在通用能力上的边际效益逐渐递减、大模型技术红利向产业端渗透，AI的技术范式也开始从原来的注重“预训练”向注重“后训练”转移。后训练（Post-training），正从过去锦上添花的“调优”环节，演变为决定模型最终价值的“主战场”。
白鲸出海联合点点数据、非凡产研发布第 6 期全球 AI 教育产品榜（包含 App 和 Web 端，前 5 期可参考底部推荐文章）。本期我们延续上一期，将 5 大分类归类为语言学习、数学&综合、学习/教学工具&儿童教育（目前这 2 类产品较少暂归在一起），三大板块进行分析，但具体产品的分类标准与往期一致。
这应该是上线以来案例最少的 Agent 了，OpenAI GPT Agent奥特曼你不给我用，就别怪我用 Manus 跟你硬碰硬了。
程序员最有价值的技能已经不再是编写代码了，而是精确地向 AI 传达意图。一份完善的规范才是包含完整意图的真正「源代码」。
