AI 每日热点 · 2026-05-21
🔬 AI 新工艺
1. Formal Verification Gates：给 AI Coding Loop 加验证关卡
在 AI 代码生成后插入形式化验证作为门控（gate），通过数学证明而非 human review 来验证逻辑正确性。和 Agent Plan 模式依赖人工兜底不同，这能拦截边界条件错误和逻辑漏洞，但对形式化验证的自动化和开销仍是挑战。
https://reubenbrooks.dev/blog/structural-backpressure-beats-smarter-agents/
2. PopuLoRA：让 LLM 群体在推理中协同进化
一种协同进化框架，同时维护多个 LLM 实例，每个做不同的 LoRA 适配，通过推理自对弈（self-play）互相提升。类似多智能体协作，但更底层——在模型权重层面实现推理能力进化。
https://vmax.ai/team/populora-co-evolving-llm-populations-for-reasoning-self-play
🛠️ 工具及技巧
1. html-anything — 让 AI Agent 帮你写 HTML
75 种技能 × 9 种输出格式（杂志、PPT、海报、原型等），零 API Key，支持 Claude Code / Cursor / Codex / Gemini 多种后端。5 天前发布，已有 4262⭐。
https://github.com/nexu-io/html-anything
2. CPU-only 视频转写：YouTube、TikTok、X 视频本地搞定
开源的纯 CPU 转录工具，无需 GPU 不依赖云服务。对着视频链接直接出字幕。
https://github.com/kouhxp/yapsnap
3. tokenspeed — 重新理解 "每秒 N Token" 到底多快
一个交互式可视化工具，让你直观感受不同 token 速率在真实场景下的响应延迟——从 8 tok/s（本地模型）到 2000+ tok/s（云端 API）。
https://mikeveerman.github.io/tokenspeed/
⭐ 开源亮点
1. esengine/DeepSeek-Reasonix — 4978⭐
终端 DeepSeek 原生 AI 编码 Agent，围绕 prefix-cache 稳定性优化。
https://github.com/esengine/DeepSeek-Reasonix
2. mattpocock/dictionary-of-ai-coding — 1723⭐
AI 编码术语中英文对照词典，用大白话解释常见 AI 编码术语。
https://github.com/mattpocock/dictionary-of-ai-coding
3. WenyuChiou/awesome-agentic-ai-zh — 1603⭐
三语（繁中/简中/English）Agentic AI 结构化学习路线图，从 LLM 基础到多智能体系统。
https://github.com/WenyuChiou/awesome-agentic-ai-zh
4. simonlin1212/a-stock-data — 1588⭐
A 股全栈数据工具包，7 层架构 × 28 端点 × 13 数据源，零第三方依赖，适合 AI Agent 调用。
https://github.com/simonlin1212/a-stock-data
📰 行业动态
1. GitHub 确认 3800 个仓库因恶意 VSCode 扩展被入侵
2. Google 的 AI 搜索结果遭系统性操纵，BBC 曝光其反制措施
3. Anthropic 计划扩展到 Colossus2 数据中心，将使用 NVIDIA GB200 芯片
4. Google 被批"向 Web 宣战"——PWA 支持大幅缩减引发争议
🚀 重磅发布
1. Qwen3.7-Max: The Agent Frontier — 阿里通义千问发布新一代旗舰模型，面向 Agent 场景优化
2. OpenAI 模型首次否证离散几何中的中心猜想，AI 驱动数学发现里程碑
