流式3D重建实现20FPS实时推理
LingBot-Map 是一个前馈式3D基础模型，通过几何上下文Transformer架构统一坐标定位、几何线索和漂移校正，支持超长序列的流式3D重建。对做机器人导航、AR/VR空间计算的团队来说，这可能是替代传统SLAM方案的高性能选择。
2026-07-19 AI 行业精选简报
今日精选 · Today's Picks
NO. 001
70B模型4GB显存运行，无需量化
AirLLM通过层卸载技术将70B大模型推理压缩至4GB显存，405B Llama 3.1仅需8GB。对GPU资源受限的AI工程师和创业者，这意味着无需采购A100/H100即可部署生产级大模型。
002
003
AI 代理的零成本本地网络大脑
wigolo 是一个本地优先的 Web 智能层，让 AI 代理无需 API 密钥即可执行搜索、抓取、爬取、缓存等全套网络操作。对自托管代理和在意数据隐私、云成本的团队来说，这是摆脱 Perplexity/Brave Search 等付费 API 依赖的替代方案。
004
AI代理标准化操作系统开源
AgentSmith 是一个可移植的 AI 代理运行框架，通过规则、工具、记忆和反馈循环将 Claude Code 等代理适配到软件、DevOps、营销等 8 类工作场景。它瞄准了"vibe coding" demo 无法支撑生产环境的痛点，试图定义 AI 辅助工程的标准化 harness。
005
开源AI工程课：503节实战从零手搓
一套面向AI工程师的完整开源课程，503节课覆盖20个阶段约320小时，每节课产出可复用的prompt、skill、agent或MCP server。解决当前84%学生用AI工具但仅18%能专业落地的断层问题，适合想系统补齐工程能力而非零散追论文的从业者。
006
开源多模型红队测试平台
G0DM0D3 是一个开源多模型聊天界面，集成 60+ OpenRouter 和 44 个 Venice 模型，支持并行对抗测试和本地部署。对需要绕过模型安全限制、评估多模型输出质量或构建私有 AI 工作流的红队研究者和创业者有直接价值。
007
手写公式直接对话AI的白板工具
PenEcho 是一个共享画布，支持手写、公式、图表与 AI 进行空间化交互，无需逐句翻译成聊天消息。对需要推导数学问题、画架构图或头脑风暴的工程师和研究者，它减少了"把思路翻译成 prompt"的认知负担。
008
月之暗面终端AI代理停更，迁移Kimi Code
Kimi CLI 是月之暗面推出的终端AI编程代理，支持代码编辑、命令执行和网页抓取。官方已宣布停止维护，用户将强制迁移至功能更强的 Kimi Code CLI，现有 9389 star 的项目成为历史。
009
Solidity 套利机器人自动部署方案
基于 Solidity 的链上套利机器人，配套 Python 自动化脚本实现零手动调用部署。对想进入 MEV 赛道但缺乏运维经验的开发者，可直接复用这套白名单管理+路由切换的完整工程结构。
010
LLM把密文伪装成日常聊天
用本地大模型将加密信息嵌入自然对话文本，通过任何聊天工具传输。对抗政府端对端加密审查的新思路，但工具本身也可能被滥用。
011
GPT-5.6 用提示词破解30年凸优化难题
OpenAI 的 GPT-5.6 仅通过自然语言提示，就填补了凸优化领域长达30年的理论空白。这意味着大模型可能具备自主发现数学定理的能力，对算法设计和自动证明方向有直接影响。
012
Claude Fable 5 碾压级解 NP-hard 难题
同一份未公开的 NP-hard 优化问题测试中，Claude Fable 5 表现远超 GPT-5.6 Sol，且稳定性惊人。/goal 模式并非万能"更努力"开关，而是改变搜索路径，效果因题而异。
013
闲置Mac变Claude专属沙箱
通过SSH和Claude App远程控制备用Mac，让Claude Code在隔离环境中自动运行任务。解决主机器权限风险问题，适合需要AI代理执行不可信代码的场景。
014
Zig 重写 Lua 运行时，一键部署跨平台环境
Moonstone 是用 Zig 编写的现代 Lua 运行时和包管理器，提供跨平台一致的 Lua 开发环境。对需要嵌入式脚本能力或构建 Lua 工具链的团队，它解决了官方 Lua 环境碎片化、依赖管理混乱的老问题。
015
Qubes OS 15年安全漏洞量化分析
研究者系统分析了2011-2025年间109份Qubes安全公告，首次用统计方法测量了基于Xen虚拟化的隔离架构实际安全表现。对构建高安全系统的工程师有直接参考价值，尤其是评估"隔离即安全"架构的真实成本收益比时。
016
欧盟禁毁未售服装
7月19日起欧盟禁止大型企业销毁未售出的服装鞋帽，中型企业2030年执行。这对做AI视觉质检、智能库存预测、二手交易平台的技术团队是直接利好，循环经济数字化需求将爆发。
017
1988年Arm芯片预言持久内存与硬件GC
1988年苏格兰Hi-Fi公司Linn的Rekursiv处理器在硬件层面实现内存类型检查、垃圾回收和持久化对象存储，这些设计思想现已被Arm采纳进量产芯片。其失败源于当年内存成本过高，如今持久内存技术成熟使经济学条件逆转。
018
2万件宜家产品组装难度量化排名
独立开发者抓取约2万件宜家产品数据，用「步骤数×零件总数」定义复杂度，结合用户自报耗时推算预估组装时间。对做数据产品或电商优化的工程师有参考价值——把主观体验变成可排序的量化指标，这种建模思路比排名本身更值得借鉴。
019
JPEG 渐进加载的底层实现揭秘
JPEG 支持将低频分量优先存储，实现图片从模糊到清晰的渐进加载，而非传统的从上往下逐行显示。这对弱网环境下的图片体验优化有直接参考价值，尤其是移动端和 Web 性能敏感场景。
020
苹果游戏移植工具提速66%
Game Porting Toolkit 4 beta 通过实时转译 DirectX 到 Metal API，让 GTA V 在 M4 Pro 上帧率提升 66%。这意味着 Mac 硬件不再是游戏瓶颈，Apple Silicon 的游戏生态短板正在从硬件转向软件兼容性。
021
固定GPU下RL训练突破200万token
LongStraw提出了一种架构感知的执行栈，让GRPO强化学习后训练能在单卡预算下处理百万级token上下文。对AI Agent开发者意义重大，Agent的长轨迹记忆和工具调用历史终于能被完整纳入RL优化，不再依赖部署时的长度泛化猜测。
022
距地球最近宜居行星确认
天文学家修正数据，确认25光年外红矮星宜居带内存在2.3倍地球质量的岩石行星GJ3378b，接收辐射约为地球90%。该发现为系外生命探测和宜居行星大气研究提供了最近距离的观测目标。
023
功利视角下兴趣班的最优排序
V2EX 热帖讨论普通家庭如何以低投入、高确定性、长期有用为标准为孩子筛选兴趣班。107条回复呈现明显共识：英语和体育类（羽毛球/游泳）优先级最高，钢琴武术绘画被大量淘汰，书法因"持续收益最长"获意外支持。