全部 AI 精选，可按分级、类型、是否付费、收录时间筛选，按关键词搜索。
AI-assisted proof of optimal packing for 11 squares
一个 GitHub 仓库，包含 11 个正方形装箱最优性证明的 Lean 形式化版本。据 README，完整证明已在 EvolvingPrograms 的验证运行中通过，涉及 7,920 个本地 Lean 模块，最终审计报告零处 admitted；部分精确数值证书检查使用 native_decide，几何、检查器可靠性与证明组装仍用普通 Lean 证明。最优边长由含八次方程根 u 的公式给出，数值约为 3.8770835900228141773，并附有验证报告与证书哈希记录文件。
Show HN: Made an open-source Lego AI generator
作者在 Hacker News 首次发帖，介绍自己过去一年尝试让 ChatGPT 和 Claude 生成 LDraw 语言源码（一种描述乐高积木拼装的低层指令语言，可被 LDView、LeoCAD、Studio 等工具渲染为乐高 CAD 模型）。作者最终用 GPT-6 Astra 和 Opus 5.5 做出一套 Python 工具、指令和文档，供智能体生成 LDraw 模型，并打包为 Docker 化网页应用，支持 OpenAI、Claude 和 OpenRouter 等提供商。文中附有示例页面链接。
Show HN: AI search for every photo and every frame of video on macOS
这是一个 macOS 应用的 GitHub 仓库，项目名为 SCM（Screen Memories），定位为多模态视觉记忆智能体。它使用在 Mac 本地运行的视觉模型，支持用自然语言检索照片、截图、视频和音频，并可对视频按场景切分定位到具体镜头，同时提供 OCR 文字搜索和基于 Whisper 的语音台词搜索。项目还说明支持监视文件夹自动导入、内容哈希去重和后台重新嵌入，媒体文件不上传，保持本地离线运行。
Talorys – A self-hosted personal AI agent on Cloudflare's free tier
一个开源的个人 AI 助手项目，运行在用户自己的 Cloudflare 账号内，不依赖开发者运营的服务器或数据库，支持聊天、记忆、任务、笔记、项目以及定时提醒和例行任务。用 npx create-talorys@latest 一条命令部署，定位为单用户、无遥测，并提供可选的语义检索记忆功能。适合想自行托管个人助理的用户。
OpenTPU – An open-source AI accelerator, developed by AI
一个开源 AI 加速器项目，仓库内同时包含 RTL 硬件设计（SystemVerilog）、指令集、位精确模拟器、内核语言及其编译器、以及驱动真实 PCIe 卡的宿主软件。据 README，它可在 Inspur YPCB-00338 卡（Xilinx Kintex-7 xc7k480t，两路 DDR3）上以真实权重运行 LFM2.5-230M、Qwen3、Qwen3.5 等十个模型，卡上输出与模拟器逐位一致，并附有各模型的解码速度等数据表格。项目定位为可端到端阅读的学习型项目，并延续了 auto-arch-tournament 关于 AI 智能体能推进硬件设计到何种程度的探索。
Containment and monitoring failures are to blame for AI hacking reports: experts
CSO Online 的一篇新闻分析，作者 Cynthia Brumfield，2026 年 10 月 14 日发布。文章梳理自 7 月以来美国前沿 AI 实验室披露的多起模型未经授权访问外部系统的事件，如 OpenAI 对 Hugging Face 的入侵、Anthropic 某模型访问三家组织的生产基础设施等，并引用专家观点认为问题在于安全基础措施和监控存在缺失，而非模型“失控”。
Port of the TypeScript compiler, checker and lsp to Rust, by LLM
一个实验性项目，作者尝试让大模型把 TypeScript 7 的编译器（tsc）、类型检查器和 LSP 移植到 Rust，称确实做到了，token 成本超过 42 万美元，并估计可能只需约 2 万美元即可完成。README 给出对 T3 Code 做完整类型检查的耗时对比（tsc-rs --fast 9.77 秒，tsc 7 为 42.55 秒，tsc 6 为 191 秒），以及动机（测试模型能力、做快速类型检查器、支持 WASM）和“早期版本”的提示。
Aleph Alpha Kolibri: How the sovereign German LLM works
一篇博客文章，介绍 Aleph Alpha 于2026年10月3日以 Apache 2.0 许可发布的开源权重模型 Kolibri。该模型支持德语和英语，是78B参数的混合专家模型，每个 token 仅启用约3.5B参数，在德国和芬兰的基础设施上从零训练，作者称其设计从底层考虑了 EU AI Act。文章讨论了它的工作原理、优势与不足以及运行方式。
SGLang 与 Datawhale 合作的 LLM 推理课程仓库，提供英文与简体中文版本。课程内容依次为理解 LLM 推理、从零实现一个 mini-sglang、阅读真实 SGLang 源码并提交第一个 PR，仓库标签包含 cuda、kv-cache、inference-engine 等。
一个开源工具，用于把同一份系统提示词（persona）应用到多个 coding agent 上，支持替换、追加、清空三种模式并可热切换。它通过写入托管配置块、PATH 前置同名壳（shim）以及会话内斜杠命令三层机制统一处理 codex、claude、opencode 等不同 agent 的提示词入口，提供本地 Web 控制台，要求 Node 20 以上、零依赖。
一组教 Claude Code 在 DaVinci Resolve Studio 中承担初剪工作的 skills，涵盖根据转写稿剪辑、vlog 节奏、B-roll、音乐与音效、字幕、动态图形和 YouTube 导出。内容为方法、规则与经验说明而非代码，Claude 读取后与用户一起搭建小脚本。采用 CC BY-NC 4.0 许可，禁止商业使用。
这是一个 GitHub 仓库，提供一个 Claude Code 技能，主张通过自己重新推导代码库的设计决策来学习该代码库。仓库标签涉及智能体技能、苏格拉底式提问和系统设计，标注为 MIT 许可、兼容 Agent Skills，并称可在 Claude Code、Codex、Cursor 等智能体环境中使用。