「可验证性」共找到 4935 篇相关文章
新的基础设施即代码工具“formae”瞄准了 Terraform
平台工程实验室于2025年10月22日推出开源基础设施即代码平台formae，试图解决现有工具的根本性限制。它有两种操作模式，能自动发现和编码现有基础设施，使用PKL语言，还面临成熟工具竞争。
爽！AI编程2年半，终于用上了喂饭级的API！
作者分享对接智谱API的超爽体验，5分钟搞定。强调在Agent工作流里文档质量影响成功率，对比某作图API凸显差距。指出2025年后AI Agent成API主要用户，智谱和Cloudflare站对边，体现Agent First思维。
OpenAI 又发布了一个新的AI Agent~
OpenAI发布新AI Agent Aardvark用于找代码漏洞，流程包括监控Git提交等，测试能发现92%已知漏洞。还公布AI浏览器Altas技术架构，采用进程隔离和IPC通信，启动快，但维护成本高。
世界模型有了开源基座Emu3.5！拿下多模态SOTA，性能超越Nano Banana
北京智源人工智能研究院的悟界·Emu3.5是最新最强的开源原生多模态世界模型，能处理图、文、视频任务，在多项权威基准上性能亮眼，还具备理解长时序等能力，背后有技术创新，且选择开源。
扔掉人工公式：快手EMER框架，用“会比较、自进化”的模型重构短视频推荐排序
过去十年，推荐排序多依赖人工设计公式，但此模式遇瓶颈。快手策略算法团队提出 EMER 框架，用“会比较、能进化的 AI 模型”重构短视频推荐排序，在快手主 App 和极速版效果显著，还为行业提供解决方案。
传统训练效率很低？我们靠 “给模型降噪” 重新审视长上下文建模难题
文章指出长上下文模型处理长文本时易受噪声干扰，提出新评估指标IG分数和“上下文去噪训练（CDT）”方法。实验表明CDT优于现有策略，经其训练的开源模型在长上下文任务中性能媲美GPT - 4o。
这种眼镜我建议外卖快递小哥人手一个
亚马逊为快递小哥配备智能眼镜“Amelia”，早期版本正实测。它基于先进技术，能扫描包裹、导航等，明年中期量产。亚马逊还或推消费级眼镜“Jayhawk”，与Meta竞争。今年AI眼镜赛道热闹，国内外大厂纷纷入局。
Yoshua Bengio，刚刚成为全球首个百万引用学者！
计算机科学家Yoshua Bengio成Google Scholar上首个引用超百万的人。他是深度学习“三巨头”之一，在“AI寒冬”坚守研究，成果显著。如今他担忧AI风险，积极推动伦理准则和监管。
Flash-Searcher：Web Agent的并行革命
当下Web智能体用顺序执行链解决复杂任务存在执行和信息利用率低的问题。为此提出Flash - Searcher，以DAG并行执行机制为核心，提升执行吞吐与速度，在多基准上表现优，代码已开源。
首创“AI+真人”双保障模式！刚刚，百度健康推出7x24小时「能聊、有料、会管」AI管家
百度健康推出7x24小时AI管家，首创“AI+真人”双保障模式，提供全链路服务。它能精准咨询、推荐就医、管理健康档案，靠三层模型架构支撑，标志医疗AI向“智能健康伙伴”跃迁。