「工具使用」共找到 2859 篇相关文章
对话 MoonBit 张宏波：为 AI 重构编程语言
文章围绕 MoonBit 语言开发者张宏波展开，探讨为 AI 重构编程语言。指出当前 AI Coding 基于旧有语言有局限，MoonBit 有原生 AI 支持，还介绍其开发历程、特性及 Pilot 工具创新，强调未来商业化愿景。
NeurIPS 2025 Spotlight | 条件表征学习：一步对齐表征与准则
文章指出传统表征学习处理图片和商品信息时存在局限，针对性有监督训练成本高，多模态大模型使用成本也需考虑。为此提出即插即用的条件表征学习方法 CRL，实验显示其在下游任务表现优异。
零基础指南：从 Prompt 到上下文工程构建 AI Agent 【万字长】
作者结合培训经历，系统梳理零基础构建 AI Agent 的学习路径，涵盖结构化提示词工程、上下文工程与知识检索、工具函数设计和 Agent 规划等内容，还介绍各环节方法、策略和实践案例。
Sora2五天下载量破百万！超越ChatGPT增长速度，App Store免费榜霸榜第一
Sora2五天下载量破百万，增长速度超ChatGPT，在App Store免费榜霸榜第一。其虽有使用门槛，但热度高，盗版泛滥。不过它也面临版权问题，审核收紧。AI创意应用取代传统社交媒体速度加快。
Tilelang-1: Introduction
文章围绕TileLang展开，指出高层框架抽象层次高，难以满足算法创新和精细控制需求。TileLang将数据流与调度解耦，在易用性和性能间取得平衡。通过实例展示其语法和编译流程，实验表明它在多任务上超越现有方法。
实时交互式长视频生成
文章提出用于实时交互式长视频生成的帧级自回归框架 LongLive，解决了长视频生成在效率和质量方面的挑战，具备长视频生成、实时推理、高效微调等亮点，还给出安装、推理、训练等步骤。
陈丹琦新作：大模型强化学习的第三条路，8B小模型超越GPT-4o
陈丹琦团队提出结合RLHF和RLVR优点的RLMT方法，支持在基础模型上直接使用，节省后训练成本。它让模型生成CoT，用奖励模型评价输出，使小模型超越大模型，推理更像人类。
Agentic Coding表现创新高，全新KAT系列模型强势霸榜SWE-Bench
快手 Kwaipilot 团队推出 KAT 系列两款 Agentic Coding 大模型，KAT - Dev - 32B 开源，KAT - Coder 闭源。两模型在 SWE - Bench Verified 表现出色，且在多训练阶段创新优化，有强大代码生成能力和涌现现象。
CrowdStrike联手Meta发布AI安全基准，让AI在真实网络攻击中证明自己
美国网络安全巨头CrowdStrike与Meta在Fal.Con 2025大会联合推出开源基准测试套件CyberSOCEval，旨在评估AI大语言模型在真实SOC环境下的网络安全能力，它源于Meta之前框架，开源供全球开发者使用。
开发速度不是瓶颈
文章围绕‘凭感觉编程’展开，指出开发速度并非产品成功的关键制约因素。分析原型与产品差异，以亚马逊、谷歌为例说明产品需不断尝试。强调真正瓶颈是验证和沟通，编码速度从来不是问题。