AI 精选，每日值得关注的技术动态。数据来源：GitHub Trending / Hacker News / Product Hunt
深度解读
开源大语言模型系列项目
为什么重要： 降低高性能模型获取门槛，以开源权重和训练方案支持推理与研发
适合场景： 企业知识问答、代码生成、多轮助手
类似产品： Llama 3、Qwen2.5
关键词： MoE
GitHub Copilot 改为按用量计费
为什么重要： 解决固定订阅难匹配重度与轻度使用，按调用量分层计费控制成本
适合场景： 用于高频代码补全与智能编程助手采购
类似产品： Cursor、Codeium
关键词： 用量计费
用结构化规范生成托管 AI Agent 平台
为什么重要： 免去提示词编排、重试、评测和日志搭建，用规范直接生成可调用 Agent
适合场景： 搭建客服、运营和流程自动化 Agent
类似产品： LangChain, AutoGen
关键词： 模型路由
争议话题
Microsoft and OpenAI end their exclusive and revenue-sharing deal
双方将取消独家云与分成安排，OpenAI可自由选择算力与合作方，微软继续保留其产品接入权。
正方： 打破绑定，促进模型与云市场竞争
反方： 合作松动或削弱产品整合与投入稳定性
“Why not just use Lean?”
作者比较 Lean、Isabelle、Coq 等定理证明器，说明研究与教学中不只选 Lean 的技术与生态原因。
正方： Lean 统一证明与编程，生态正成熟
反方： 门槛高、工程集成弱，未必适合生产
TOP 5 速览
1. ds2api
多模型接口转译中间件。把专有客户端协议转成通用API，兼容多家模型格式，并支持多账号轮询与多种部署。
2. Pgbackrest is no longer being maintained
PostgreSQL 备份工具 pgBackRest 仓库声明已停止维护，项目未来不再接收更新。
3. The woes of sanitizing SVGs
作者梳理 SVG 净化的常见陷阱：除脚本外，动画、外链、样式与浏览器解析差异也可能绕过过滤并触发 XSS。
4. Show HN: OSS Agent I built topped the TerminalBench on Gemini-3-flash-preview
开源终端代理 Dirac 公布在 TerminalBench 上以 Gemini 3 Flash Preview 取得榜首，并提供可复现的代码与评测配置。
5. Odyssey-2 Max
面向仿真开发者。实时生成可交互世界，物理反馈更可信，长时运行不易失稳。
本文由 Trending AI 自动生成。每日精选全球技术热点，AI 深度解读，欢迎访问查看完整版。
