从一个关键词开始
搜名称，也可以搜场景，比如“AI 写作”“视频剪辑”或“编程助手”。
AI热点 54
SVApshot自动验证AI编写的RTLAI热点arXiv论文提出SVApshot框架，利用LLM自动生成并修复SystemVerilog断言，验证AI编写的RTL设计，实验成功检出人工与AI引入的缺陷。
MasterControl开源Runway推理验证框架AI热点MasterControl发布内部验证工具Runway，围绕NVIDIA AIPerf构建合规决策流水线，并给出三项推理引擎评测发现。
Cohere验证投机解码加速低批量MoE推理AI热点Cohere新论文显示投机解码在细粒度MoE模型batch size 1下仍有效，实测10个模型给出具体加速数据。
谷歌港大VeriCUA论文验证智能体完成声明AI热点谷歌与香港大学发布VeriCUA论文，提出用机器状态核实计算机智能体的任务完成声明，误报率显著低于现有方法。
Visa推支付通行密钥验证AI代理购物授权AI热点Visa介绍支付通行密钥与Trusted Agent Protocol，用于确认AI购物代理获得用户授权，并区分合法代理与恶意机器人。
Anthropic开源FlashProve验证模型推理AI热点Anthropic发布FlashProve开源原型，用零知识证明核验模型推理是否来自承诺权重，可识别中转站掉包模型。
高通HBC堆叠内存验证通过，AI250明年出样AI热点高通宣布完成HBC内存架构初步验证，Dragonfly AI250计划2027年上半年出样，早期2层样品每瓦带宽达HBM4的5倍。
SAFE框架入选EMNLP 2026主会AI热点证据锚定多跳推理验证框架SAFE被EMNLP 2026主会接收，平均提升8.8个百分点
评审智能体将仿真静默失败率降至1.5%AI热点arXiv新论文提出Judge Agent，自动验证AI生成的科学仿真代码，将静默失败率从42%降至1.5%，盲测成功率89%。
SpecCompact加速智能体上下文压缩提速5.63倍AI热点SpecCompact通过槽并行语义推测验证加速LLM智能体上下文压缩，最高提速5.63倍。
Meta论文披露ABTest Agent设计经验AI热点Meta发布论文介绍ABTest Agent：LLM仅编排步骤，数字由验证工具计算，并披露实测中的p-hacking风险。
论文提出AI智能体Token浪费测量框架AI热点arXiv新论文提出统一框架测量AI智能体token浪费，经干预验证可移除41-46%推理且基本保持任务性能。
扩散模型左到右推测解码新方法AI热点新论文提出三种训练干预，让扩散草稿模型更好适配自回归验证，接受草稿长度提升21-76%。
小米机器人汽车工厂连续作业8小时AI热点小米CyberOne 02人形机器人在汽车工厂首次完成8小时连续作业验证，并披露具身基座模型XR-1的技术细节与评测结果。
Claude取消Ultra套餐5小时限制AI热点Anthropic宣布将Max 20x更名为Ultra，价格不变，并为已验证的Ultra账户取消5小时使用限制，改为在周额度内连续使用，多数现有订阅用户即刻生效。
苹果HomeView防欺骗锁定机制曝光AI热点苹果HomeView智能家居中枢将加入防欺骗保护，连续三次假脸尝试将锁定账户，需iPhone验证解锁，并参考iPhone安全锁定设计了阶梯冷却等待机制，预计随HomeView Software 27.2上线。
MONET开源1.038亿图文对数据集AI热点MONET发布1.038亿图文对开源数据集，附预计算嵌入并经4B模型验证。
Axiom Math发布1600万行Lean数学库AI热点Axiom Math用智能体群将Stacks Project形式化为1600万行Lean代码，经逐条验证后开源。
ACE提取Transformer算法核心子空间AI热点论文提出ACE方法，从合成任务到大型预训练模型提取必要且充分的算法核心子空间，并在六个语言模型上验证主谓一致由单一可操控轴控制。
中科院等团队发布A-RSI自主换池方法AI热点中科院、港中大与小米联合团队提出A-RSI，用训练动态决定何时更换任务池，且新任务答案由程序独立验证，Qwen3-VL-8B与MiMo-VL-7B多基准分数均上涨。