我们如何做「最懂中文用户」的 AI 工具导航：中文支持、访问方式与持续更新。
UU AI Hub 聚焦中文用户真正关心的信息：中文体验、国内是否直连、定价与 API，并用可维护的 Markdown 持续扩充工具库。
我们会按周新增工具与对比测评文章；若你有希望收录的工具，欢迎通过站点页脚渠道反馈。
Related
延伸阅读
Anthropic 于 2026 年 9 月 4 日发布费马大定理在 Lean 4 中的完整机器验证证明：一群 Claude Agent 在 Prove2Me 平台上自主运行 11 天，产出约 1300 万行 Lean 代码、29,511 条进入最终证明的定理，全程人类未写一行数学。本文拆解这场「AI × 形式化数学」里程碑的技术路线、三层验证机制与真实边界——它没有发现新数学，却把数学界估计需要数年的工作压缩到了 11 天
本周热榜由新发布项目主导：m3e-canvas 以 4.2k 星登顶——在浏览器里画 Material 3 界面、直接生成 vibe-coding 提示词；Anthropic 官方一周连发两款：commerce-agents 电商 Agent 蓝图 + 11 天机器验证费马大定理的 fermats-last-theorem；reverify 防幻觉框架、shadcn 的 cn 引擎等 10 个新项目集体上榜——「AI 输出必须可验证」成为本周最强信号
英伟达在 IFA 2026 发布免费开源工具 PAIR（Personal AI Router）：自动发现家里的 RTX 台式机、DGX Spark、MacBook，只在设备空闲时征用算力，并行跑本地大模型与 agent 工作流。六位码配对 + mTLS 加密，支持 Ollama 与 LM Studio。按英伟达的设想，一个「全员发烧友」家庭能凑出 165 TFLOPS 闲置算力——「静静躺在家里、近乎免费的 token 矿藏」。