「可验证推理」共找到 6130 篇相关文章
谷歌Nature震撼发文，Gemini教练暴打专家！医学双料冠军，秒出睡眠报告
谷歌DeepMind把Gemini版大模型PH - LLM调教成「AI健康私教」，将可穿戴设备数据转化为睡眠健身建议，准确率超人类医生。它经两阶段训练，在多项测试中表现优异，或开启预防医学未来。
LangChain 推出开源异步编码智能体 Open SWE
LangChain发布开源异步编码智能体Open SWE，可在云端处理复杂开发任务，能集成到开发者工作流。它连接GitHub仓库，在沙箱运行，强调人在回路控制，多智能体架构保障代码质量，早期反应褒贬不一。
星巴克与微软合作，在35个门店用Azure OpenAI 提升咖啡师效率
CNBC消息，星巴克本月将在35个门店推出由微软Azure OpenAI平台打造的AI助手Green Dot Assist，助咖啡师提效。虽AI会有‘幻觉’答案，但有验证引擎确保信息准确，星巴克还有更大应用计划。
让机器人学会系统2慢思考，叠衣服倒咖啡等不在话下 | 上海交大&智元机器人
上海交通大学与智元机器人等团队推出Hume——融合系统2慢思考的双系统VLA模型。它结合深度推理与实时控制，在多种机器人平台实验中表现出色，平均成功率达91%，显著超越现有模型。
MCP进阶：一键批量搞定MCP工具部署
在AI应用复杂当下，传统MCP工具集成有痛点。文章提出基于阿里云计算巢的一站式方案，可多MCP工具批量部署，首创双通道调用能力，还介绍部署、使用、增减工具及问题排查等内容。
一篇Self-Evolving Coding Agents最新综述
当今编码智能体部署后大多静止，自进化编码智能体应运而生，可让Agent通过交互更新自身。文章介绍了其概念、分类，探讨组件进化机制、时机及评估方法，也提及带来的新挑战。
实测参考生之王Vidu Q3：这已经不叫AI生成了，这叫AI驱动整个剧组
4月13日生数科技发布视频大模型Vidu Q3，在SuperClue榜单断层登顶。它从‘生成视频’转向‘驱动剧组’，升级后能嵌入内容生产流程，实现‘万物可参，声画同出’，在多赛道表现亮眼。
首个实时端侧部署世界模型，20万小时人类视频，BeingBeyond实现「两级跃迁」
4月14日，BeingBeyond发布具身世界模型Being - H0.7，将人类视频规模扩至20万小时，采用隐式推理范式，6项权威评测综合第一。还率先实现端侧实时部署，打通数据闭环，推动模型通用与专家能力跃迁。
内存股集体大跌，原因竟是谷歌这篇一年前的论文
美国内存股集体暴跌，诱因是谷歌新博客介绍一年前公布的技术 TurboQuant。它是压缩算法，可大幅减少 LLM KV 缓存内存占用、提升速度且精度零损失，有望打乱市场对内存芯片增长预期。
1700个OpenClaw技巧，我用多邻国的方式学会的！
AI带来学习方式变革，OpenClaw技巧众多难记。智谱清言APP的学习搭子功能，可将GitHub项目生成多邻国式课程，还能处理论文、演讲等素材，通过多种技术实现知识读薄、读活、读透。