「可验证智能」共找到 7302 篇相关文章
Cursor重大升级！发布2.0版本和首个自研AI编程模型，4倍速AI编程时代来了！
Cursor发布2.0版本和自研AI编程模型Composer。Composer是混合专家模型，速度比同等水平模型快4倍，多数任务30秒可完成。2.0版本新增多代理界面、内置浏览器等功能，降低使用门槛。
Cursor 2.0 来了！自研模型 Composer1，更禅的界面，多代理并行，Browser调试更强大
Cursor 2.0 发布，有诸多升级。它有自研编码模型 Composer1，速度快且适合 Agent 模式；界面更清爽禅意；支持多代理并行，能提升编码效率；浏览器可嵌入编辑器，沙盒终端在 macOS 正式发布等。
AI编程上瘾指南，一天不用浑身难受
本文是腾讯程序员近2个月AI编程经验总结。介绍了AI编程战略价值、研发范式转变，以CodeBuddy为核心的编程方法，AI×SDLC方法论，通过三大场景实践展示其应用，并分析边界局限，最后强调组织人才发展重要性。
全国首部AI大模型私有化部署标准，公开征集起草单位和个人！
近期AI政策频出，企业对AI应用需求攀升，倾向私有化部署，但行业面临技术错配等问题。国内首部AI大模型私有化部署标准《人工智能大模型私有化部署技术实施与评价指南》立项，正征集起草单位和个人。
夸克 AI 对话助手的邪修打开方式：一句话直通网盘，看电影、找资料全拿下
阿里“C计划”首个成果，夸克App深度整合对话助手，用Qwen3 - Max模型。可随意切换模式，其独特之处是提问资料或电影，能直返夸克网盘链接，“搜、用、存”一气呵成，与其他AI助手不同。
快手进军AI编程！“模型+工具+平台”一口气放三个大招
AI编程竞争激烈，快手发布AI编程产品矩阵进军该赛道。其“三位一体”矩阵含顶尖自研模型、智能开发工具和MaaS平台，KAT - Coder - Air轻量版免费。各产品亮点多，助力构建AI编程新生态。
Karpathy 回应争议：RL 不是真的不行，Agent 还需要十年的预测其实很乐观
Andrej Karpathy 在与知名播客主持人 Dwarkesh Patel 的对谈中指出当下 LLMs 研究进展、Agents 存在的实际问题，如‘AGI 仍需十年时间’‘LLM 认知有缺陷’‘强化学习很糟糕’等。他还对关键争议点做了补充回应，包括对 AGI 时间线、强化学习局限性等的看法。
Codex 和 Claude Code，用哪个？
文章探讨 Codex 和 Claude Code 的使用，建议有条件用最好的模型工具。介绍二者特点，给出文件同步、记忆文件更新、项目目录结构添加等使用方法，还强调写好 Prompt 及明确 AI 能力边界的重要性。
长上下文窗口、Agent崛起，RAG已死？
技术迭代下“RAG已死”论调出现，向量数据库Chroma创始人主张用上下文工程框架取代对“RAG”的狭义依赖。文章梳理业界不同观点，有人认为RAG在进化，有人称其成工程学科，也有人觉得会被Agent和长上下文取代。
薛定谔亲外孙创业量子计算，老黄早早就成了股东
PsiQuantum由薛定谔外孙参与创办，获10亿美元巨额融资，欲2028年造百万比特级量子计算机。其量子比特基于光子，有生产优势，不过纠错能力待验证。公司团队学术背景强，项目多为政府大单。