Featured · 大模型
SKY-001 是什么、强在哪：一个先想清楚怎么造、再进 CAD 的工程世界模型
Skyfall AI 发布 SKY-001，自称第一个工程世界模型：输入一句描述或一张 2D 草图，输出的是可执行的 CAD 建模步骤序列，最后能在 Autodesk Fusion 里直接打开。厂商宣称比前沿大模型快 100 倍、便宜 15…
怎么写 agent skill，怎么用 eval 测它：adherence 和 effect 两个分数
公开市场里共享的 skill 已经超过一百万份，格式只要求一个名字和一段描述，不要求测试。作者给了一套可复用的方法：把 skill 拆成几个带假设的「观点」，用代码判分测 agent 有没有照做（adherence），用隐藏测试加逐条质量标…
大模型学习地铁图：一条主干线，五条支线
想学大模型的人大多卡在第一步：资料从 Transformer 讲到 RAG、Agent、微调、vLLM，每块都重要，拼起来却不成体系。纳米AI 把这套知识画成了一张地铁图——一条主干线八站坐到底，五条支线按兴趣换乘。
DeepSeek-V4.1-Flash-1017 发布：跑分涨了一截，API 价格没动
10 月 17 日 DeepSeek 上线 V4.1-Flash-1017：网页、App、API 同步换新，Terminal-Bench 4.0 从 31.2 涨到 42.3，输出更短、任务更快，而 API 单价一分没涨。这篇把新模型的分数、特点和账单变化说清楚。
给 Agent 接上真实世界的 10 个开源仓库：逐个核对后的清单
RodmanAi 那条推文列了 10 个给 Agent 接上真实世界的仓库。我把每个都拉了一遍：星数、最新版本、实际定位，结果是其中一个已经被微软归档，另一个已经彻底改头换面。
arXiv 是什么：35 年、三百万篇论文，一个不做同行评审的开放平台
arXiv 官方「关于」页的原话是：对任何人开放的、经过策展的研究共享平台。这篇把它是什么、从康奈尔独立、八个学科、投稿免费但不做同行评审、钱从哪来，逐条讲清楚。