英伟达开源9B参数小模型，比Qwen3快6倍

英伟达推出新型小型语言模型Nemotron Nano v2，在复杂推理基准测试上准确率与Qwen3 - 8B相当或更高，速度快6倍。它兼顾推理与非推理任务，支持“思考”预算控制，还开源了创建模型的绝大部分数据。

6000 字，学不会退网！藏师傅Trickle AI保姆级Vibe Coding高级通关攻略

作者歸藏分享用 Trickle AI 做 AIGC 周刊信息聚合网站的教程，介绍开发方法，如提示词书写、Magic Canvas 功能、Edit 模式修改、数据库搭建、页面美化、加搜索功能及上线设置等，还指出开发范式迁移趋势并提建议。

地瓜机器人携手虚时科技，补上具身智能的仿真数据“黑洞”｜甲子光年

5月12日，虚时科技与地瓜机器人联合开发的AnySceneGen平台发布，这是面向具身智能训练的仿真空间生成平台。具身智能训练需海量数据，传统仿真数据生产依赖人工，效率低。该平台以模型替代人工，重构生产方式，优势显著。

GPT-5 终于发布：别慌、AGI 还没来，第一手的上手体验在这里

GPT-5 发布，距离 GPT-4 发布已过 2 年。它能力强、定价有竞争力，是首个「统一」AI 模型，幻觉率低、代码能力强。免费用户可默认使用，Plus 和 Pro 订阅用户有不同使用额度。开发者可使用三种模式，代码能力测试案例可参考相关网站。

用系统架构思维，告别“意大利面条式”系统提示词

本文作者分享编写系统级提示词经历，指出‘规则清单式’设计有规则打架、维护难、价值稀释问题。引入系统架构思维，构建四层设计框架，给出编译原则与模板，还重构‘AI编程助手’提示词，实现从‘规则管理者’到‘系统设计师’转变。

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

Mythos：普通人能自由使用旗舰 AI 的时代，可能要结束了

两天前，Anthropic 发布最强模型 Claude Mythos Preview，各方位性能超 Opus 4.6 模型，却不公开发布，只面向少数合作方开放。这或预示普通人自由用旗舰 AI 的时代将结束，引发对 AI 未来商业与使用模式的思考。

具身智能开始进入「下半场」：从会干活到干完活

具身智能正处热门，国内今年上半年赛道融资额高涨。但钱与落地有落差，拉格朗日具身技术自研 Agentic OS，采用分层智能架构处理工程问题。还推动工序重构，制定技能矩阵和排期计划，其团队背景多元，赌让机器人干完活路径。

产品上线2个月后，这家公司真开始让AI给人发工资了｜甲子光年

K2 Lab（攀峰智能）发布的AI内容电商产品Moras，上线2个月完成首批百人规模达人共创测试，首周出单率超70%，活跃达人月均GMV近1万美元。公司获数千万元天使轮融资，还探索“AI雇佣人类”等模式，目标是构建A2A原生电商操作系统。

搜狗输入法，居然还在更新？？

在腾讯微信输入法上线、各类AI新产品轰炸的当下，搜狗输入法进行20.0 AI大版本升级。它有AI文本翻译、轻声识别等功能，用AI大模型全面重构，还接入腾讯混元、DeepSeek R1大模型，免费提供AI服务。