「可验证推理」共找到 6170 篇相关文章
新的基础设施即代码工具“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眼镜赛道热闹，国内外大厂纷纷入局。
首创“AI+真人”双保障模式！刚刚，百度健康推出7x24小时「能聊、有料、会管」AI管家
百度健康推出7x24小时AI管家，首创“AI+真人”双保障模式，提供全链路服务。它能精准咨询、推荐就医、管理健康档案，靠三层模型架构支撑，标志医疗AI向“智能健康伙伴”跃迁。
景不动人动，MLLM如何面对「移步换景」的真实世界？OST-Bench揭示多模态大模型在线时空理解短板
上海多所高校研究者提出 OST - Bench，从智能体探索场景动态在线视角挑战大模型能力。它更贴近真实世界，揭示主流多模态大模型在线时空理解短板，为未来模型发展指明方向。
Windows 10 停服引发全球热议，国产OS迎来窗口期？专家：技术迭代是残酷的，也是必然过程
微软宣布 2025 年 10 月 14 日停掉 Windows 10 免费更新与技术支持。这引发全球热议，也让国产 OS 迎来发展思考。专家认为这会加速生态多样、重塑产业价值链，同时分析了国产系统机遇、挑战和发展路径。