「时间相关性」共找到 1498 篇相关文章
隐形束缚：RLVR为何无法突破LLM的推理边界？
大型推理模型进展依赖带可验证奖励的强化学习（RLVR），但它能否扩展模型推理能力存疑。本文通过理论证明与实验，揭示RLVR存在“隐形束缚”，只能在基座模型初始能力内优化，难以发现新解。
OpenAI拿IMO金牌是火了，但惹怒大批人：抢发炒作，抢学生风头
OpenAI宣布其模型在IMO竞赛得分35/42获金牌，十分高调。但IMO曾要求AI公司赛后一周公布结果，避免抢学生风头。谷歌很低调，OpenAI却提前公布，引发不满。此外，其金牌成色也遭质疑。
国内首个免费提供的深度研究，反而有市面上最好的体验
秘塔深度研究（https://metaso.cn/）上线，是首个将深度研究作免费基础功能的产品。它在算法、交互等多方面优化，降低成本、保障准确，还创新交互形式，搜索结果清晰有条理，体验佳。
Cursor已死，Claude当立！Anthropic用L4级Agent，正在“降维打击”整个AI编程赛道。
AI编程领域正上演变革，很多用户从Cursor转向Claude Code。Claude Code成本有优势且具L4级编程能力，其强大还冲击了生态。未来Agentic DevOps是黄金赛道，最终赢家或为有顶尖模型与云服务的玩家。
具身智能大脑+首个SaaS开源框架，智源研究院刷新10项测评基准，加速群体智能新范式
智源研究院推出通用具身大脑RoboBrain 2.0与全球首个具身智能SaaS开源框架RoboOS 2.0并全部开源。前者突破主流AI模型瓶颈，后者实现大脑云端优化与小脑技能免适配注册，降低开发门槛。
刚刚，马斯克发布Grok 4！全榜第一，年费飚到2万+
北京时间中午，马斯克现身 xAI 发布会发布 Grok 4，称其是世界最好的 AI。Grok 4 推理能力强，多类基准测试成绩领先，还在多方面能力获加强，已上线但付费昂贵。
垂直赛道 Agent 闷声发财指南：如何实现一年超千万营收？
本文围绕垂直赛道的2B Agent展开，分享了语核科技创始人的产品理念与经验，探讨了如何找到有价值的场景、构建高价值闭环。还介绍了客户的应用情况、对Agent的看法及选型考量，强调其商业价值与落地挑战。
Claude Code 通过流式 HTTP 获得对远程 MCP 服务器的支持
Anthropic在Claude Code中引入对连接远程MCP服务器的支持，开发人员无需手动本地服务器设置就能集成外部工具和资源，还支持通过HTTP或SSE的OAuth 2.0进行身份验证，不同人对此功能看法不一。
谷歌王炸开源编程 Agent：Gemini 2.5 Pro 塞进命令行，每天1000 次免费调用，重新定义 CLI 开发体验
谷歌正式开源 AI 编程智能体 Gemini CLI，它是全能终端 Copilot，免费且开源，免费额度高，不止编程，还原生集成。能满足开发者在 CLI 中对集成式 AI 辅助的需求，带来全新开发体验。
突破通用领域推理的瓶颈！清华NLP实验室强化学习新研究RLPR
现有基于可验证奖励的强化学习（RLVR）应用范围局限，清华自然语言处理实验室提出 RLPR 技术，通过 Prob - to - Reward 提高概率奖励质量，有领域无关等特点，相关代码等已开源。