「正式证明搜索」共找到 1052 篇相关文章
Anthropic官方解密：3招上下文优化，破解Agent性能暴跌
本文是Anthropic官方文章翻译，从提示词工程拓展到上下文工程，阐述其构建方法。介绍上下文工程对构建智能体的重要性、上下文构成，还提及上下文检索、智能体搜索及长期任务的上下文工程解决方案。
PosterGen：告别学术海报制作烦恼，从PDF一键生成「演示级」可编辑PPTX学术海报
许多研究者制作学术海报耗时费力，现有自动化方法有缺陷。联合团队推出PosterGen，能将论文PDF转成可编辑PPTX海报。它有核心创新，遵循四大设计原则，工作流由四个智能体构成，实验证明其有效。
今天，AI内容新规正式实施，这次不注意是真的会违法。
9月1日，《人工智能生成合成内容标识办法》及配套国标正式执行。其旨在解决AI虚假内容充斥问题，规定AI内容需打显式和隐式标识，对专业环节友好、公开传播严厉，还对相关方提出不同要求。
LLM 商业化猜想：OpenAI 会走向 Google 的商业化之路吗？｜AGIX PM Notes
文章探讨了大模型商业化难题，对比 OpenAI 潜在变现方案与 Google 商业模式，分析 OpenAI 开启类似 Google 商业化引擎的可能性，还给出 AI 搜索引擎可能的变现思路，并总结了本周市场情况及 AI 公司动态。
小扎又开源了：7B实现自监督学习SOTA
Meta发布全新开源视觉模型DINOv3，首次证明自监督学习模型能在广泛任务中超越弱监督学习模型。它用无标注方法，扩展数据和模型规模，支持标注稀缺场景，在多任务实现SOTA。
竞购 Chrome，正面竞争 OpenAI，Perplexity 为什么要做 AI 浏览器？
今年 Perplexity 推出 AI 原生浏览器 Comet，OpenAI 也计划发布浏览器，Perplexity 还出价 345 亿美元收购 Chrome。文章梳理了 Perplexity CEO 观点及 a16z 测评，介绍 Comet 特点、目标、优势，还对比了 Comet 与 Dia。
刚刚，Claude 推出记忆功能，比ChatGPT 好用
Anthropic为Claude推出引用过往对话新功能，向部分用户开放，其他用户也将很快获得。它能搜索和引用历史对话，与ChatGPT记忆功能不同，是按需检索，检索原始内容，还能隔离工作与个人内容。
基于聊天的 AI 编程高效实践
本文探讨 Agent 对软件开发和开发者工作流的影响，以 GitHub Copilot“Agent 模式”构建维基搜索应用为例，对比不同 LLM 模型性能，指出要发挥 Agent 效能，可采用人机协作流程，经验是掌控其成果的关键。
Claude Opus 4.1火速发布！坐稳编程之王，官方：马上还有大更新
Claude Opus 4.1正式发布，编程性能超Claude Opus 4及竞品，拿下SOTA。在Agent任务和推理方面升级，定价不变。官方将在几周内大规模改进。Anthropic借客户背书，暗秀关系，文风受开发者喜爱。
Transformer死角，只需500步后训练，循环模型突破256k长度泛化极限
线性循环模型能处理极长序列，是相比Transformer的关键优势，但过去循环模型性能不足且难以泛化。CMU等研究者证明，通过简单训练干预，循环模型500步后训练可突破256k长度泛化极限。