「可验证智能」共找到 7238 篇相关文章
模型好选，搜索难做：一个投研Agent的两年开发历程
本文通过投研从业者陈万开发投研Agent两年的实践，讲述了当前Agent开发中模型易选，但搜索能力搭建维护成本高的痛点，介绍了腾讯元宝搜索的解决方案与能力。
AI Coding时代的柔性之美：从静态软件到自演化软件，软件研发正在重新进化
本文为王博在《AI原生软件研发成熟度模型AISMM 2026》白皮书发布之际撰写，探讨AI Agent介入后软件形态、研发流程的变革，提出柔性软件概念与传统软件柔性化路径，为企业AI原生研发提供参考。
Booking.com 的向量数据库选型：100M 数据、三种负载、一个决定
本文分享Booking.com在1亿条embedding数据规模下，原有OpenSearch向量方案遇到性能、成本、运维瓶颈后，自行设计贴合生产的压测对比不同方案，最终完成选型迁移的全过程，总结了实用经验。
微软推出快速决策模型 Microsoft-Decision-1：让AI先做判断，再调用大模型
本文报道微软推出针对AI应用内部高频固定判断任务的快速决策模型Microsoft-Decision-1，介绍了其功能定位、测试表现与适用场景，说明它可配合通用大模型降本提速。
发布仅9天的Jev据称估值破百亿美金，硅谷也看好薄利多销？
本文报道AI初创公司TypeSafe AI发布的模型Jev上线仅9天，就传出投资者给出超百亿美元估值，剖析资本追捧低价薄利模式的原因，同时梳理业内对其护城河的质疑，探讨大模型赛道资本动向。
ChatGPT要卖 500 美元的Pro Max套餐了！
本文爆料OpenAI正筹备月费500美元的ChatGPT Pro Max订阅套餐，价格为现有顶配的2.5倍，主打最快算力优先级，面向重度生产力用户。因前沿大模型算力消耗过大，业界讨论顶尖AI是否会成为高价特权。
拒绝OpenAI和Anthropic邀约，DeepMind安全研究员离职转向独立测评
本文报道，多名头部AI机构研究员因AI安全顾虑离职，DeepMind AGI安全研究员Engels拒绝OpenAI、Anthropic邀约，加入独立评测机构METR，围绕AI递归自我改进失控风险展开讨论。
想给产品加一个 AI 搜索，是上向量数据库还是用 MongoDB 就够了？
本文解答产品添加AI搜索时，选用专用向量数据库还是MongoDB的选型疑问，理清两类检索的能力边界，讲解MongoDB检索的架构、用法与踩坑点，给出可复用的选型判断框架。
让代码接管世界演化，西湖大学发布Code视频世界模型
西湖大学研究团队提出 Code World Model，将‘世界如何演化’和‘世界如何被看见’拆成两个互补问题，由 Coding Agent 决定世界演化，代码执行规则，视频模型转化为视觉观察，有应用潜力。
强化学习大本营新作：如何破解「学新忘旧」困局
阿尔伯塔大学强化学习团队提出FAME框架，解决持续强化学习“学新忘旧”问题。团队先定义基础概念，将知识整合写成优化问题，再受人类学习机制启发设计FAME，实验优势明显。研究还探讨持续学习的产业价值。