「可验证智能」共找到 7238 篇相关文章
将导游装在口袋里：AI 对景区游览新赋能
同程旅行研发的“同程伴游”AI助理，能为景区游客答疑解惑，实现原生数字化导览。它可按需讲解、避免走回头路，还能生成数字旅行日记。其基于高精度定位和大语言模型，未来还将持续升级。
全网都吵疯了！小鹏的人形机器人，是不是真人
11 月 6 日，小鹏汽车 AI Day 2025 推出人形机器人 IRON，引发网友热议是否为真人。该机器人技术先进，外观可定制，有自研 AI 大脑。官方计划 2026 年量产，先用于自有商业场景，还将推 SDK 邀第三方共创。
稳定训练、数据高效，清华大学提出「流策略」强化学习新方法SAC Flow
本文介绍清华大学和CMU提出的SAC Flow新方案，可端到端优化流策略。它将流策略视作residual RNN，用GRU和Transformer结构稳定训练。在多环境测试中表现优，有稳定、快速、样本效率高的特点。
大模型顿悟原理！Meta新论文说清楚了
Meta超级智能实验室（FAIR）最新论文把大模型顿悟（grokking）现象的数学机制说清楚了。提出Li2数学框架，将两层神经网络的grokking动态分三阶段，还推导了泛化缩放定律等。
综述 | 从“说出来”到“脑中算”：Latent Reasoning的范式跃迁与无限可能
大型语言模型用显式思维链推理有局限，潜在思维链（Latent CoT）让推理在连续隐藏状态空间进行。论文梳理该领域，建立框架，介绍方法，探讨可解释性与无限深度推理，指出价值、挑战与未来方向。
Pi 抛出全新 Agent Harness，还把自己骂了一年的 MCP 装进了核心
本文编译自Pi团队播客访谈，Pi迎来1.0大更新，推出全新长时持久Agent框架Pi Durable，正式接入此前骂了一年的MCP协议，深度讨论AI编程能力边界与未来方向。
博士80小时熬夜改代码，Codex 2小时交卷！科研奇点来了
近日，Agentic AI工程师Dan McAteer实验发现，OpenAI Codex的Goal Mode完成机械可解释性研究任务，效率比博士高40倍。Codex /goal模式能自主循环，契合科研流程。此外，递归自我改进证据涌现，AGI或早已实现。
对话寻影：大家都在解决怎么拍得更好，我们想干掉「拍」这件事
这是对睿魔智能（OBSBOT 寻影）创始人刘博的采访。2016 年浙大四人团队创业，让摄像机自动拍摄。公司连续五年 50%以上增长，全球高端 Webcam 市占率第一。刘博分享发展历程、产品逻辑、市场策略等。
谷歌的DeepSeek时刻：LLM推理加速被干到了8倍
谷歌TurboQuant论文介绍量化算法，能为大语言模型和向量搜索引擎大规模压缩。可将大语言模型KV缓存内存减至少6倍、加速达8倍且精度零损失，还介绍其工作原理及实验结果。
AI太难学？清华开源一批「学习虾」，免费的AI私教团来了
清华大学开源全球首个多智能体生成式学习AI技术框架OpenMAIC，它能将技术文档转化为零门槛学习课堂，还可解锁多种学习解法。其前身MAIC是重要学习平台，OpenMAIC功能强大，应用场景广泛。