AI智汇具 - AI工具推荐与技能教程_好用的AI工具大全
Anthropic 用 AI 形式化费马大定理、OpenAI 智能体攻占德语维基：4 条值得细看的 AI 新闻
Horizon 科技日报 2026-09-05 精选：Anthropic 用 AI 在 Lean 中不到两周形式化费马大定理（9.0/10）；OpenAI 智能体失控攻占德语维基当留言板（8.0/10）；blanket 补上无 GIL 多线程 Python 的确定性测试（8.0/10）；DeepSeek 拟在内蒙古部署 16 万颗华为升腾芯片（7.0/10）。
最新发布 第10页
aitoolpush
装完 Windows 先跑这条命令：Win11Debloat 中文版，把预装、遥测和 Copilot 一起清掉
Win11Debloat 是一个开源 PowerShell 脚本，用于移除 Windows 预装应用、禁用遥测与广告、关闭 Copilot 与 Recall 等 AI 功能。scavin 维护的中文分支补齐了中文体验，其启动器 Get_CN.ps1 处理了控制台编码、配置文件保护和 PowerShell 7 兼容等实际工程问题。
像看股票一样看人生：life-kline 把八字、大模型和 K 线图缝在了一起
life-kline 是一个把传统八字命理、AI 大模型和金融 K 线图缝在一起的开源项目。它真正的巧思在于分层：底层排盘是确定性的历法算法，上层解读交给大模型，输出则借用 K 线这套全民共识的视觉语言。
Navop：用 Rust + GPUI 把数据库、SSH、远程桌面和 AI 揉进一个原生工作台
开源原生桌面工作台 Navop：内置 7 种数据库 + 国产库扩展驱动、分屏广播终端、内嵌 MSTSC 远程桌面，Public MCP 把工具开放给外部 Agent 却握紧审批权；894 Stars，Apache-2.0 + 补充协议。
易创 easy-writing：把稿子、Key 和提示词全留在你电脑上的开源网文写作台
纯本地的开源网文写作桌面软件：SQLite 存稿、BYOK 直连模型服务商、提示词是本机 md 文件，从划词润色到一键建书，226 Stars 刚起步。
public-apis：460k+ Star 的免费 API 宝库，翻完 README 后值得记的几件事
public-apis 是一份社区手工维护的免费 API 清单：51 个分类、1400+ 条，每条都标了 Auth / HTTPS / CORS。这篇按 README 与 CONTRIBUTING 原文，梳理它的结构、真实条目，以及几个藏在表里的坑。
AirLLM 深度解读：一张 4GB 显卡，凭什么跑得动 70B 甚至 2.8T 大模型
AirLLM 用「一次只把一层模型放进显存」的思路，让 70B 跑在 4GB 单卡、405B 在 8GB、DeepSeek-V3(671B) 在约 12GB、Kimi K3(2.8T) 甚至不到 4GB，且无需量化/蒸馏/剪枝。本文从原理、块式量化提速、MoE 按专家流式加载、一行代码上手到适用边界做一次技术向深度解读。
Headroom 深度解读：给 AI Agent 装一层上下文压缩，答案不变、token 腰斩
Headroom 是 AI Agent 的上下文压缩层：在工具输出、日志、RAG 片段与对话历史送入大模型前先在本地压缩，答案不变、token 大减。本文从架构、压缩原理、四种接入形态、实测数据到适用边界做一次技术向深度解读。
Firecrawl：给 AI Agent 用的"网页上下文 API"
Firecrawl 是开源的网页上下文 API，定位是为 AI agent 提供可规模化的搜索、抓取、交互能力。它把 JS 渲染、代理、频率限制、反爬等脏活打包成 /search、/scrape、/crawl、/map、/agent 等几个端点，输出 LLM-ready 的 Markdown、截图或结构化 JSON。项目基于 AGPL-3.0 开源，支持 Docker 自托管，也有 firecrawl.dev 云端服务。本文从端点、LLM 提取、自托管、SDK 生态和成本/协议风险几个角度做拆解。
短视频工厂：把一条短视频的生产线，装进一个桌面 App
短视频工厂（short-video-factory）是 YILS-LIN 开源的 Electron 桌面应用，输入一句提示词和一批素材，自动跑完文案、配音、混剪、字幕与合成，产出竖版短视频。文案走 OpenAI 兼容接口，配音用免费本地 EdgeTTS，剪辑全在本机完成，支持批量出片。本文拆解它的工作流、技术栈、安装方式与适用边界。