AI能不能自己写出一套静态代码检查工具?这篇论文给出了答案:连最强模型也只能及格一半
人类工程师专属的静态代码检查器合成任务,AI agent真能胜任吗?论文推出CheckerBench基准测试,21种模型组合平均及格率仅32.30%,最强配置也只有45.33%,揭示AI写代码检查工具仍有巨大差距。
人类工程师专属的静态代码检查器合成任务,AI agent真能胜任吗?论文推出CheckerBench基准测试,21种模型组合平均及格率仅32.30%,最强配置也只有45.33%,揭示AI写代码检查工具仍有巨大差距。
该研究提出可行未来质量这一理论框架,揭示冻结视觉语言动作策略可能选中安全却走入死胡同的动作,并设计训练免费解码器VICS-G,在六个安全机器人测试场景中显著降低安全成本同时保持任务完成率。
该论文提出口音类比引导,通过对比同一虚拟声音说两种语言的AI预测差异提取口音方向并去除,无需训练即可在跨语言语音克隆中大幅降低口音同时保留更多说话人相似度,并给出判断方法适用性的前提测试。
机器人常面临同一场景下多种合理动作选择的难题。本文介绍CTP框架,用单次网络前向传播预测多条完整轨迹,结合DAPS专化训练与ETBT跨轮次一致性机制,在保持高成功率同时大幅降低推理延迟。
论文提出EAPN方法,通过执行对齐的结构化噪声解决生成式机器人策略异步重新规划时的动作不连贯问题,在D3IL、Kinetix、LIBERO仿真及真实机器人实验中均显著提升任务成功率与动作连贯性。
MIT领衔的PYTHIA项目获美国ARPA-H最高3800万美元、为期四年的资助,旨在研发一款由体热供电的无创可穿戴贴片,通过持续监测间质液中的生物标志物,实现心力衰竭与败血症的早期诊断,并集成片上AI模型辅助临床决策。
印度微短剧平台EloElo获得NBCUniversal等投资方8000万美元C轮融资,累计融资达1.3亿美元,估值5亿美元。其旗下Story TV拥有逾3300万活跃用户,平台月活用户超1.18亿,内容库涵盖六种语言超5...
Barracuda披露两个高危漏洞CVE-2026-116606(CVSS 9.3)和CVE-2026-111560(CVSS 8.6),链式利用可绕过身份验证并执行命令,影响ESG、WAF等多款产品,官方已发布补丁并建...
Salesforce宣布收购AI客服软件公司Cresta,据报道交易金额约27亿美元。Cresta平台支持AI语音客服、多智能体协作及模型定制,是Salesforce今年继收购Fin(36亿美元)和Braze(56.6亿...
网络流传的亚马逊创始人贝佐斯与演员杰森·斯坦森的"植发照"均为伪造,经谷歌反图搜索可追溯到2023年和2011年的原始未修改图片。文章指出AI工具降低了图像造假门槛,社交媒体标注机制形同虚设,公众需保持对网络图片的警惕。
据IAPP发布的《数字风险报告》,复杂的技术环境与日益增加的监管压力正推动企业将隐私、AI、安全等领域整合进统一数字治理框架。然而现状堪忧,Schellman调查显示仅27%的企业AI治理项目达到完全成熟,人才短缺被认为...
Yum Brands财报电话会披露,旗下超900家Taco Bell门店已部署语音AI,整体得来速满意度提升6%,销售额提升约1.5%;KFC厨房AI系统使得来速速度加快8%。CFO表示企业AI使用量同比增长40%,未来...
网络安全风投机构Ballistic Ventures向SEC提交文件,计划为第三期旗舰基金募资3.6亿美元,并为独立工具Ballistic Ventures Fund B募资1.3亿美元。此次募资背景是AI驱动下网络攻击...
Anthropic发布开源系统FlashProve,通过密码学证明验证AI输出是否来自特定模型,可防止AI公司偷换低成本模型或虚报性能。系统要求各AI实验室发布模型"指纹",不会泄露模型权重,当前仅为研究阶段,尚无部署计...
文章对比了自主移动机器人(AMR)与人形机器人在仓库场景的商业成熟度、成本和适用任务。AMR已在大量仓储场景落地,回报周期约两年;人形机器人适合针对性试点,如处理AMR与传送带之间的物料转接,GXO与Agility Ro...
生成媒体推理初创公司 fal 完成13亿美元融资,估值达160亿美元,由 Bessemer Venture Partners 领投,英伟达作为战略投资方参与。fal 年化营收已超8亿美元,资金将用于扩充算力与扩大团队规模...
CrowdStrike宣布以约4.95亿美元收购AI安全初创企业Fiddler AI和Dreadnode,前者占总额约四分之四。两家公司分别专注于AI智能体的风险测试与模拟攻击漏洞检测,相关技术将整合进Falcon Gu...
PIMCO首席执行官Emmanuel Roman公开警告AI市场将出现下行且"事情会崩",同时Apollo Global也提示AI风险。文章指出AI基础设施建设已使美国债务市场承压,Meta、Oracle、Alphabe...
最大PC游戏模组平台Nexus Mods宣布,新上传模组须强制声明是否使用AI,"AI辅助"模组还需公开说明具体使用方式。平台不会全面封禁AI模组,但承诺不将模组用于AI训练。现有模组作者有60天宽限期(截止1月2日)完...