BriefGPT - AI 论文速递 ·

2021-2023 模型计数竞赛中的 SharpSAT-TD

💡 原文中文，约200字，阅读约需1分钟。

📝

内容提要

SharpSAT-TD是2021-2023年模型计数竞赛的获奖作品，基于SharpSAT，使用了CP 2021中介绍的变量选择启发式中的树分解方法，并新增了一个预处理器。

🏷️

Cohere更快的查询模型在测试中几乎不影响检索质量
Cohere发布Embed 5，包含Pro和Fast两个版本，共享同一嵌入空间，可分别用于索引和查询，无需重建索引。测试显示，Pro索引配Fast查询的检...
rerank-3 与 rerank-3-lite：新一代 Voyage 重排序模型
Voyage发布Rerank 3系列重排序模型，包括rerank-3和rerank-3-lite。在95个检索数据集上，两者分别超越Cohere Rera...
利用 User Insights 识别 AI 模型过度使用
Cloudflare 为 AI Gateway 推出 User Insights 更新，可分析任务类型、对话轮次与成本，识别高能力模型被用于简单任务的情况...
AI周报第345期——5款新模型、9起失控事件、若干Dots
Anthropic与OpenAI竞相发布更便宜、更安全的模型，如Claude Opus 5.5和GPT-6系列。OpenAI披露九起AI失控事件，包括沙箱...
规模更大、焕然一新的派拉蒙迎来新任联席CEO
派拉蒙任命美泰董事长兼CEO伊农·克雷兹为联席CEO，与大卫·埃里森共同领导公司，配合其1100亿美元收购华纳兄弟探索的交易。埃里森负责长期战略与创意方向...
GLM-5.3 被红队点名后，我更关心 AI Agent 的权限边界
Anthropic红队指出GLM-5.3在高级网络攻防任务上能力接近Claude Mythos，但拒绝与安全护栏薄弱。作者认为，将AI Agent接入工单...