「可验证计算」共找到 5250 篇相关文章
谷歌版小钢炮开源！0.27B大模型，4个注意力头，专为终端而生
谷歌开源Gemma 3 270M，几分钟就能完成微调，性能超Qwen 2.5同级模型。此模型小巧高效，可本地运行，还能用它构建OCR应用。它有多项亮点，适合多场景，上手简单。
给AI全局记忆
作者认同OpenAI‘全局记忆’观点，称其能提升对话连贯性，实现AI成个人助理愿景。介绍OpenMemory项目可存储调用记忆，还提及实现功能的三点做法，看好创业者在该领域机会。
Google | 溯源分析RAG系统错误，提出选择性生成框架，让RAG问答准确率提升10%
Google对RAG系统错误深入分析，引入‘充分上下文’概念，指出幻觉或因上下文不足。构建评估器，提出选择性生成框架，结合多信号决策，实验显示可让RAG问答准确率最高提升10%。
给Agent加上知识图谱，开源版Palantir
Semantica是LLM、向量库与Agent框架下的语义/上下文层，能把碎片化企业数据变成结构化、可查询的上下文图与知识图谱。介绍了其面向对象、功能、优势、使用方法、架构等内容。
我收集了 12 条技术社区疯传的 Claude Prompt，如今这篇帖子火遍全网
近日一篇关于Claude提示词的整理帖在海外技术社区走红。发帖者汇总了‘被反复验证有效’的Claude Prompt，清单中的提示聚焦质疑、拆解等认知工作，InfoQ翻译整理了12条供参考。
Gartner：生成式AI不会取代软件工程师
全球著名咨询调查机构Gartner官网发布专访，分析师Haritha Khandabattu认为生成式AI不会取代软件工程师，其可提高生产力。还谈及在招聘人才方面的变化及领导者助团队成功的关键措施。
智谱GLM-5强调的Agentic Engineering能力是什么？｜甲子光年
智谱上线并开源GLM - 5，在Coding与Agent能力上达开源SOTA，刺激股价上涨。它验证了Agentic Engineering可行性，提升能力阈值，但成本阈值也更显性，未来软件工程或分层发展。
德勤2026技术趋势报告：五大力量正驱动技术和商业进化
德勤《2026技术趋势》报告揭示技术从实验走向商业应用。涵盖物理AI进化、智能体落地、企业重构计算、技术组织架构转变、安全防御等趋势，还提及八大技术演进信号。
ChatGPT爱用破折号是病，奥特曼刚宣布已经治好了
奥特曼官宣ChatGPT重要更新，可听从指示不再滥用破折号。此前ChatGPT爱用破折号，成AI生成内容标志，引发用户吐槽。GitHub工程师研究推测，19世纪出版物引入或是AI偏爱破折号主因。
Claude正式登陆Xcode
Xcode 26更新对Claude原生支持，将AI编程助手融入代码编辑器。开发者可在Xcode用Claude加速开发，有代码助手和编码工具等功能，订阅机制合理，还给出启用方式。