深度学习自然语言处理

深度学习自然语言处理公众号

分类:学术科研覆盖:仅收录已发现链接或部分历史文章最近成功:2026-11-06 06:09文章数:73

11 天、1300 万行 Lean:费马大定理如何被 AI 形式化?

10 月 4 日上午(北京时间),「运筹OR帷幄」与「NICE 学术」首次联合直播。主持人谢倩对话哥伦比亚大学商学院博士生陈澍泽,主题是 Prove2Me:一个面向人类与 AI Agent 的数学形式

2026-10-08 20:06 · 摘要已收录,可打开文章获取原文内容

答案对了≠推理靠谱!Proof‑R1让大模型学会 “有理有据” 的逻辑推导

在自然语言逻辑推理中,判断最终答案是否正确往往并不难,难的是确认答案背后的证明是否真的成立。一条可验证的证明,不应只是一段生成完之后再交给验证器打分的文本。它更像一个持续构造的证明状态:模型每推出一个

2026-10-08 20:06 · 摘要已收录,可打开文章获取原文内容

AI 自我改进(RSI)走到哪一步了:8 条 take away

让 AI 改进自己,再用改进后的自己继续改进,这个叫递归自我改进(Recursive Self-Improvement,RSI)的想法已经提出了几十年,眼下正在快速发展和应用。10 月 3 日,NIC

2026-10-05 00:06 · 摘要已收录,可打开文章获取原文内容

Dream-RSI:让智能体通过“做梦”实现递归自我改进 | 预告

从算法设计、数学求解和 GPU 内核优化,到智能体运行框架(harness)的改进,如何高效探索庞大的搜索空间,正成为智能体递归自我改进的关键问题。固定的探索策略难以从经验中持续改进,而在线试验新策略

2026-10-01 10:00 · 摘要已收录,可打开文章获取原文内容

RSI Workshop | AI 自我改进的机制、证据与边界

当 AI 不再只是完成任务,而是开始参与设计实验、改进训练环境与调整自身策略,递归自我改进(Recursive Self-Improvement,RSI)便从一个设想,变成了值得认真研究的问题:一次改

2026-09-29 00:27 · 摘要已收录,可打开文章获取原文内容

Uni-Agent:规模化长程智能体训练框架——实践与经验分享

近一年来,AI 智能体发展迅速,Claude Code、Codex 等编程智能体展现出了令人瞩目的能力。这一进展离不开新一代基础模型在推理编程方面的提升。然而,对于开源社区而言,如何有效训练这些模型仍

2026-09-29 00:27 · 摘要已收录,可打开文章获取原文内容

从 Harness 角度看 AI4AI 如何实现 | 预告

过去几年,我们习惯通过更大的模型、更多的数据和更昂贵的后训练来提升 AI 能力。但进入 Agent 时代后,越来越多能力开始存在于模型之外:Prompt、Tool、Memory、Router、Veri

2026-09-24 15:23 · 摘要已收录,可打开文章获取原文内容

答对之后还能学,答错之后也有用:重新理解推理轨迹的训练价值

模型全部答对,强化学习也可能失去组内比较信号;专家最终答错,推理过程却未必没有价值。本文结合两项研究,解释如何从成功片段与失败轨迹中提取学习信号,并看清它们怎样转化为独立解题能力,以及实验结果的适用边

2026-09-24 15:23 · 摘要已收录,可打开文章获取原文内容

一点点偏差,为什么会把大模型 RL 带跑偏?

同一份模型权重,采样端与训练端也可能给出不同概率。Together AI 的新论文把强化学习更新拆成学习信号与漂移,提出 Score Centering 校正后者。本文从直觉、公式到原始实验,解释它为

2026-09-24 15:23 · 摘要已收录,可打开文章获取原文内容

从SHE到SafeEvolve:安全经验如何驱动Harness–Policy协同进化?

随着AI Agent逐渐具备网页访问、文件处理和工具调用能力,安全问题已经不再只发生在最终回答中。一条隐藏在邮件、网页或工具返回结果中的恶意指令,就可能改变Agent对当前任务的理解,使其偏离用户原本

2026-09-11 15:48 · 摘要已收录,可打开文章获取原文内容

Agent 真的会做生意吗?一个可验证的 AI 商业世界来了

在 vibe coding 中,人只需用自然语言描述想要的软件,AI 智能体负责把它实现出来。沿着同一思路,vibe commerce 让用户描述“想买什么”或“想卖什么”,再把搜索、比较、议价、下单

2026-09-10 11:42 · 摘要已收录,可打开文章获取原文内容

Agent 开始「杂交进化」了:同一个模型,50.8% → 93.2%

现在的 Coding Agent,已经可以自己写代码、跑测试、修 Bug。但如果再往前走一步:Agent 能不能修改自己的代码,让“下一代 Agent”比自己更强?这就是最近 Recursive Se

2026-09-10 11:42 · 摘要已收录,可打开文章获取原文内容

长程 Agent 越跑越乱?ContextPilot 用细粒度 RL 教会模型主动管理上下文

当 Agent 从几轮对话走向几十轮搜索、推理和工具调用,真正的瓶颈可能不只是模型“记不住”,而是它不知道:哪些信息应该保留,哪些内容可以压缩,什么时候需要写入长期记忆,哪些历史又可以暂时移出工作上下

2026-09-04 12:29 · 摘要已收录,可打开文章获取原文内容