➡️
继续阅读
-
一分钟读论文:《编码智能体:知道却不说》
腾讯与中科大论文提出CTXGAP,测量编码智能体报告与执行记录的差距。直接询问智能体可恢复93.6%任务状态,读完整上下文92.7%,仅看报告只有52.0...
-
一分钟读论文:《三个托就能改掉一半人的心里话》
伊利诺伊大学芝加哥分校预印本论文发现,多智能体讨论中,仅1个坚称错误答案的对抗者就能让44.8%的良性智能体最终出错,3个则达60.5%。私下探测显示,智...
-
Sapienz荣获ISSTA 2026最具影响力论文奖
Meta的Sapienz自动测试研究获ISSTA 2026最具影响力论文奖。该研究于2016年提出多目标自动化测试,在千款安卓应用中发现558个未知崩溃,...
-
如何形式化全部数学
陶哲轩介绍,Jeremy Avigad、Kevin Buzzard等七位数学家在Buzzard博客发文《如何形式化全部数学》,讨论自动形式化整个数学文献的...
-
推进生成式推荐推理:我们与NVIDIA在TensorRT LLM上的合作
Spotify将生成式AI用于播客推荐,采用基于语义ID的生成式检索与beam search生成候选。因vLLM的beam search效率有限,Spot...
-
令人惊叹的飞行版特斯拉Roadster只是作秀
马斯克在得州演示飞行版特斯拉Roadster,配备冷气推进器,可垂直行驶和空中翻转,0至百公里加速不到一秒。该车仅为表演,未获公共道路批准,售价与续航未公...