AI领域重磅突破，量子定理证明与高分辨率OCR技术崭露头角
2026年7月25日 - 量子算法定理证明取得重大进展，AI在量子领域的应用迈出新步伐。百度Unlimited-OCR技术构建高分辨率图像OCR流水线，处理能力大幅提升。此外，KroQuant和vLLM AFD Plugin等技术也在各自领域取得显著成果。
Models
5 itemsvLLM 出了个新插件，把 MoE 推理的注意力层和专家层拆分部署，想分别扩缩容就方便了，支持 NVIDIA 和昇腾卡。
想用强化学习训练自己的 Claude Code 智能体？OpenForgeRL 让你在真实 harness 和环境中端到端训练，ClawEval 和 GUI 基准上表现不错，而且开源可用。
Claude Opus 5 性能直逼旗舰 Fable 5，价格只要一半，多个基准全面碾压 Opus 4.8，开发者可以立刻用上。
阿里新开源的0.8B模型OvisOCR2，端到端做文档解析，96.58分刷榜OmniDocBench，比传统流水线方法强。小模型就能做到，部署还简单，搞RAG、知识库的可以试试。
Products
5 itemsClaude Code 更新了，默认模型变成 Opus 5，能处理百万 token 上下文，还加了网络限制白名单和工作流大小设置，修了不少bug，值得升。
阿里云把数据库升级成专门给智能体用的Agentic Database，用多模态记忆和全链路监控，让AI跑得更稳更高效。
想安全跑AI代理？Hermes Agent现在能让你的密钥永远不进Docker沙箱，令牌替代、边界切换，攻破也没用。
Cursor 用户现在能用 Claude Opus 5 了，性能不输 Fable 5，价格砍半，还支持零数据保留，性价比拉满。
OpenRouter 上了 Grok 的语音转文字，25 种语言，带说话人分离，一小时才 0.1 美元，做转录可以试试。
Industry
5 items
AMD和Cerebras联手搞推理方案，把Helios和晶圆引擎用在推理上，每瓦token吞吐能翻5倍，专治英伟达Groq组合。
Papers
5 items想知道 AI 定理证明在量子计算领域到底多强？这篇论文给了两个新基准和四个模型实测分数，LAD 方法能提升最高 15.9 分，很实在。
这篇论文发了KroQuant，用Kronecker结构做激活变换，W4A4量化又快又准，比SVDQuant和LoRaQ结果好，还省参数。
一个用Claude写Prolog代码并用LPTP证明正确性的实验。有具体的数字和流程，适合对LLM+形式化验证感兴趣的人。
这篇论文搞了个VLM-IE3D，让普通视觉语言模型看RGB视频就能学会3D空间感，不用额外3D设备，而且好几个3D任务都做得更好。
想搞懂LLM到底是真学习还是假顺从？这篇论文给出了三个具体维度来分析模型修正判断的逻辑，比简单说‘阿谀奉承’有深度多了。
How-to
3 items手把手教你搭百度Unlimited-OCR流水线，处理高清图和PDF特别稳，还比较了不同模式的速度和精度。
AWS官方手把手教你怎么用SageMaker和PyTorch搭推荐系统，还能解释为什么推荐这个产品，银行做合规推荐正需要这个。
Milvus团队写的实战指南，告诉你不同数据该用哪个embedding模型，还捎带介绍了Milvus 2.6的新功能。
