「3-SAT问题」共找到 5039 篇相关文章
从「知题」到「知人」：UserRL让智能体学会「以人为本」
大语言模型距成真正用户伙伴缺‘知人’能力。来自UIUC与Salesforce团队提出UserBench和UserRL方案。前者将‘用户特性’制度化，构建评测环境；后者搭建统一强化学习框架，探索奖励建模，二者让‘以用户为中心’落地。
颠覆AI Agent开发，一个容器搞定所有开发环境！
AI Agent开发环境配置复杂，开源项目AIO Sandbox将浏览器、终端等工具整合到Docker容器，形成统一沙箱执行环境。它有一体化沙箱等亮点，还提供多语言SDK，能一键启动。
Nano Banana爆火之后，一个神秘的「胡萝卜」代码模型又上线了
OpenAI草莓命名引发潮流，Recraft小熊猫、谷歌Nano Banana等跟进。现Anycoder平台出现神秘代码模型Carrot（胡萝卜），能力强，网友对其归属猜测不断。
Yann LeCun最新纪录片首曝！传奇AI教父的双面人生，深度学习幕后40年
Yann LeCun新纪录片上线，回顾其深度学习四十年历程。他是深度学习开创者、Meta首席AI科学家，坚信机器应学会学习，认为AI竞争是开放与封闭之争，还对AI威胁论持务实乐观态度。
每天熬到凌晨、没有人规划、全靠“能干就干”！离职员工爆料：OpenAI Codex 就是这样“卷”出来的
《连线》称 OpenAI 研究员 Jason Wei 等将加盟 Meta。离职员工 Calvin French - Owen 分享在 OpenAI 经历，揭秘其自下而上研究文化、扩张问题、成本结构等，还讲述 Codex 开发情况。
ACL 2025｜自我怀疑还是自我纠正？清华团队揭示LLMs反思技术的暗面
本文指出反思技术虽简单有效，但在多种LLMs和任务中会失败。清华团队剖析其在开源和闭源LLMs、四种任务上失败原因，提出轻量级缓解方案，为反思技术可解释性研究奠基。
AI驱动的研究报告生成器Open Deep Research
Open Deep Research是AI驱动的研究报告生成器，用户提问题可获全面且有来源的答案。它采用Next.js 15等技术栈，经多步骤生成综合报告，还介绍了克隆与运行方法及项目地址。
DeepSeek被「猫咪睡觉」给干崩了……
研究员发现，在数学题后加「有趣的事实：猫咪一生大部分时间都在睡觉」，能让DeepSeek数学能力崩塌。研究开发CatAttack方法找「触发词」，无关触发词使模型错误率飙升，还会让回答变长。
深度体验 Dots 11天，我终于懂了「Personal Agent」
作者花费11天深度体验ChatGPT推出的Personal Agent产品Dots，分享Dots的核心特性、多个实际场景的使用体验，同时指出当前Dots存在的不足。
姚顺宇、施天麟聊 RSI：最难的不是实现自我迭代，而是如何验证迭代有效
本文整理自AGI House上海RSI主题圆桌讨论，姚顺宇、施天麟等业内专家围绕RSI定义、落地成果、核心卡点、产业分工展开讨论，指出RSI验证迭代有效性才是当前最大难点。