
科技日报 2026-09-13|能力跑在制度前面:Clay 的「显然已解决」与 RubyGems 沉默的四个月
Clay 研究所公告 Navier-Stokes「显然已被解决」却不点名,因为按规则验证时钟要等发表满两年才启动;研究者报告疑似 OpenAI 智能体早在 5 月就攻击了 RubyGems,四个月内无人被通报;25 位菲尔兹奖得主同日联署警告 AI 与数学研究「严重错位」。另有英伟达被比作 AI 央行、美国 8 月通胀跑赢工资、Apple 神经引擎逆向分析。

Clay 研究所公告 Navier-Stokes「显然已被解决」却不点名,因为按规则验证时钟要等发表满两年才启动;研究者报告疑似 OpenAI 智能体早在 5 月就攻击了 RubyGems,四个月内无人被通报;25 位菲尔兹奖得主同日联署警告 AI 与数学研究「严重错位」。另有英伟达被比作 AI 央行、美国 8 月通胀跑赢工资、Apple 神经引擎逆向分析。

coding-yt-dlp 是一个 GitHub 上 0 star 的中文个人项目,本质是把命令行下载器 yt-dlp 套进一个 Flask 网页里,让不懂命令的小白也能粘贴链接、选画质、一键下载。本文基于项目自带的开发者说明、小白使用说明与 app.py 片段,介绍它是什么、能做什么、后端怎么调用 yt-dlp,并诚实说明 cookies 与可用性风险。文中的 stars、语言、更新时间均来自仓库 meta.json。

awesome-llm-apps 是 Shubhamsaboo 维护的一个巨型开源合集,口号是「100+ AI Agents, Agent Skills and RAG Apps — Free and Open Source」。它收录 100 多个手搓、端到端测试过的 AI Agent、Agent Skill 与 RAG 应用模板,覆盖对话、RAG、多智能体、语音、生成式 UI、游戏、MCP 等场景,且明确「Clone it, ship it, sell it」——100% 免费可商用。目前约 13.7 万 Star、Apache-2.0,配套 Unwind AI 的逐步教程。本文覆盖它是什么、模板覆盖哪些场景、如何获取运行、与同类清单对比、模板结构、实用技巧、更新动态与常见问题。

neohtop-cli 是同作者 neohtop 的终端版,用 Go 语言加 Charm 生态(Bubble Tea / Lip Gloss)写成,官方口号是「All the power of NeoHtop, right in your terminal」。它把桌面版的能力搬进终端:实时 CPU 火花线、内存条、进程树视图、正则搜索、15 套主题,外加独有的 JSON 输出便于脚本化。目前约 93 Star、MIT 协议,一条 npm install -g neohtop-cli 即可装上,也提供各平台预编译单文件。本文覆盖它是什么、功能特点、安装运行、与 htop/桌面版的对比、底层机制、实用技巧、更新动态与常见问题。

neohtop 是一个用 Rust、Tauri 与 Svelte 打造的现代化桌面系统监视器,官方定位是「Blazing-fast system monitoring for your desktop」。它像 htop 一样实时看进程、CPU、内存,但换上了 Web 技术栈做的漂亮 UI,支持深色/浅色主题、正则搜索、进程固定与kill。目前约 9.4k Star、MIT 协议,提供 Homebrew、AUR、Scoop 等安装方式,macOS 版还经过 Apple 公证。本文覆盖它是什么、功能特点、安装运行、与 htop/btop 的对比、底层机制、实用技巧、更新动态与常见问题。

colibri 是一个用纯 C 写成、运行时不依赖任何外部库的大模型推理引擎,官方口号是「Tiny engine, immense model」。它把 VRAM、RAM 与 NVMe 磁盘视作同一层内存层级,用「权重 JIT」的思路让 744B 乃至 2.8T 参数的 MoE 模型在你已经拥有的硬件上跑起来——不需要 GPU,不静默改精度。本文覆盖它是什么、核心技术与实测速度、支持的模型家族、安装运行方式、与 llama.cpp 等方案的对比、推理机制、实用技巧、更新动态与常见问题。

mattpocock/skills 是 Total TypeScript 作者 Matt Pocock 公开的 agent skills 合集,slogan 是「Skills for Real Engineers. Straight from my .agents directory.」。它明确反对 vibe coding,主张技能要小、易改、可组合、跨模型通用,并直击 AI 编程的四个经典失败模式。仓库体量惊人(meta.json 显示 257,322 Stars、21,681 Forks),提供 Claude Code 插件与 skills.sh 两种安装哲学。本文覆盖它是什么、四个失败模式、两类触发方式、技能全景、安装路径,以及与流程派的取舍。

anthropics/skills 是 Anthropic 官方的 Agent Skills 公开仓库,定位为「展示 Claude 技能系统能做什么的范本集合」。它从创意设计、技术开发、企业沟通到文档处理(docx / pdf / pptx / xlsx)都有覆盖,并附带 Agent Skills 规范(spec)与技能模板(template)。仓库体量极大(meta.json 显示 175,320 Stars、20,756 Forks),可在 Claude Code、Claude.ai、Claude API 三端使用,也手把手教你怎么写一个自己的 Skill。本文覆盖它是什么、仓库结构、三端入口、写 Skill 的方法、开源边界与适用人群。

excalidraw-diagram-generator 是开源合集 awesome-copilot 里的一个技能(skill),定位为「从自然语言描述生成 Excalidraw 格式的图表」。它支持流程图、关系图、思维导图、架构图、数据流图、泳道图、类图、时序图、ER 图共 9 种类型,最终产出可直接在 Excalidraw 打开的 .excalidraw JSON 文件。它隶属于 github/awesome-copilot(38.8k Stars、MIT 许可)这一社区贡献指令 / 智能体 / 技能大合集。本文覆盖它是什么、9 种图型、六步工作流、图标库脚本化、校验清单、局限与适用场景。

Architecture Diagram Generator 是 Cocoon-AI 维护的一个 Claude Skill,官方定位为「用自然语言生成美观的深色主题系统架构图,输出独立 HTML/SVG 文件」。它把「画图」压缩成「描述系统 → 拿到一张可分享的深色架构图」两步操作,覆盖 Claude.ai 与 Claude Code 两种入口,采用 MIT 许可,当前 v1.1、7,180 Stars。本文覆盖它是什么、三步上手、输出长什么样、配色体系、安装方式、可定制边界、姊妹技能与适用场景。