热点事件持续更新
CORE：用认证冲突核心引导模型搜索
1 篇报道1 个报道来源7 小时前更新
先了解这件事
AI 综述
CORE 是一种搜索控制器，用于可验证的语言模型搜索：它向验证器请求认证冲突核（certified conflict core），回跳到该核心中的最新决策，并缓存已发现的冲突以避免重复搜索。2026 年 10 月 1 日发布的 arXiv cs.CL 论文《CORE：面向可验证语言模型搜索的冲突导向推理消除》给出了该方法的说明与实验结果：在 2,000 个图着色实例上，变量数为 30 个和 36 个时，中位验证器调用次数分别比按时间顺序修复（chronological repair）减少 39.8% 和 35.0%。目前进展停留在该论文公布的方法与基准数据，尚未出现其他数字或与之矛盾的说法。
AI 根据报道生成 · 2 小时前更新
最新进展10月1日 12:00
arXiv 论文公布 CORE 细节：30 与 36 变量时中位验证器调用较顺序修复减少 39.8% 和 35.0%。报道时间线
沿着报道，了解事件的不同侧面。
10月1日
- arXiv cs.CLCORE：面向可验证语言模型搜索的冲突导向推理消除
CORE 是一种搜索控制器：向验证器请求认证冲突核，回跳到该核心中的最新决策，并缓存冲突以避免重复。在 2,000 个图着色实例上，30 变量与 36 变量时中位验证器调用分别较按时间顺序修复减少 39.8% 和 35.0%。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。