从一个关键词开始
搜名称，也可以搜场景，比如“AI 写作”“视频剪辑”或“编程助手”。
AI热点 75
DeepMind用AI验证Signal加密代码AI热点Google DeepMind宣布AlphaProof Code框架对Signal协议实际运行代码完成形式化验证，生成超600万行Lean证明，仅耗时四周，并开源相关工件。
Gemini智能体生成超600万行Lean证明AI热点Google DeepMind宣布Gemini智能体生成超600万行Lean形式化证明，人工仅需复核1%关键代码。
韩国公布端侧AI半导体路线图：2030年完成10款芯片AI热点韩国产业通商资源部公布端侧AI半导体路线图，计划投入8002亿韩元，到2030年完成10款AI芯片开发验证。
MasterControl开源Runway推理验证框架AI热点MasterControl发布内部验证工具Runway，围绕NVIDIA AIPerf构建合规决策流水线，并给出三项推理引擎评测发现。
SVApshot自动验证AI编写的RTLAI热点arXiv论文提出SVApshot框架，利用LLM自动生成并修复SystemVerilog断言，验证AI编写的RTL设计，实验成功检出人工与AI引入的缺陷。
Visa推支付通行密钥验证AI代理购物授权AI热点Visa介绍支付通行密钥与Trusted Agent Protocol，用于确认AI购物代理获得用户授权，并区分合法代理与恶意机器人。
UCSD发布vstack与veriserve验证基础设施AI热点UCSD Hao AI Lab推出vstack形式化验证工作流与veriserve可验证PD分离服务引擎，发现生产引擎3类竞态并给出TLAPS安全证明。
DeepMind用AlphaProof Code完成Signal代码级验证AI热点DeepMind宣布AI首次在代码级数学证明Signal协议安全，采用AlphaProof Code框架验证其加密系统。
论文提出AI智能体Token浪费测量框架AI热点arXiv新论文提出统一框架测量AI智能体token浪费，经干预验证可移除41-46%推理且基本保持任务性能。
德州农工大学5G CATS防AI芯片走私AI热点德州农工大学在arXiv发表5G CATS预印本，通过在GPU封装内集成5G与硬件防护验证芯片位置，模拟测试精度较标准5G高十倍，可拦截300公里外光纤中继攻击。
评审智能体将仿真静默失败率降至1.5%AI热点arXiv新论文提出Judge Agent，自动验证AI生成的科学仿真代码，将静默失败率从42%降至1.5%，盲测成功率89%。
AI形式化有限单群分类定理AI热点初创团队Axiom用多智能体系统在24天内形式化了15000页的有限单群分类定理，产出4310万行Lean代码，并发现人类证明漏洞、证明新定理修补。
高通HBC堆叠内存验证通过，AI250明年出样AI热点高通宣布完成HBC内存架构初步验证，Dragonfly AI250计划2027年上半年出样，早期2层样品每瓦带宽达HBM4的5倍。
沃尔玛开放AI智能体购物，银行零售业现分歧AI热点沃尔玛宣布允许AI智能体代客购物，而摩根大通、亚马逊等则屏蔽外部智能体，行业对AI智能体准入出现分化。
西门子医疗与达摩院签约推AI一扫多筛AI热点西门子医疗与阿里达摩院在进博会签署战略合作，将达摩院“一扫多筛”AI与影像设备结合，助力癌症及心血管病早期发现。
谷歌AI手表系统无袖带检测高血压AI热点谷歌研究团队在Nature发表新AI系统，可被动检测高血压迹象。
Tom's Hardware发布首个智能体AI CPU基准AI热点Tom's Hardware公布首个针对智能体AI工作负载的CPU基准测试方法，用于评估智能体循环中的CPU与内存性能。
思科给工程师无限Token重写98%旧代码AI热点思科总裁兼首席产品官吉图·帕特尔透露，公司指派一位27岁工程师，以无上限Token预算在24个月内用AI重构98%遗留代码，并设定四周验证期。
Meta论文披露ABTest Agent设计经验AI热点Meta发布论文介绍ABTest Agent：LLM仅编排步骤，数字由验证工具计算，并披露实测中的p-hacking风险。
清华与Moonshot发布TCSExam基准AI热点清华与Moonshot AI等发布TCSExam基准，用100项专家评审任务测试模型定理证明与公开猜想求解能力。