「外部验证」共找到 1007 篇相关文章
AI泡沫后只剩这两类公司杀出重围！昆仑万维CEO方汉：明年唯一技术赛点在Agent
昆仑万维CEO方汉认为，AI泡沫是必经阶段，产品价值落地成主线，生态是系统工程。今年两类公司突围，四类公司落后。2026年技术赛点是Agent自动化‘可验证过程’。
对科技圈，小红书是个「新绿洲」
作者认为小红书正成为科技圈的「新绿洲」，这里有独特的「人间视角」。科技内容消费模式似「人间夜市」，博主和开发者圈点翻译技术概念。创业者可低成本验证想法，与用户形成「养成系」共生关系。
库克怒换苹果 AI 一号位：谷歌系不行、找微软高管救火！Siri 藏“大雷”全靠 OS 团队翻盘？
Siri 重大升级延期危机加剧，苹果任命前微软高管 Amar Subramanya 接替 John Giannandrea 任 AI 业务负责人。此次变动结束 AI 独立运营，并入操作系统团队。苹果还面临 Siri 技术缺陷、外部竞争和人才流失等问题。
端到端智驾新SOTA | KnowVal：懂法律道德、有价值观的智能驾驶系统
北京大学王勇涛团队提出新型自动驾驶系统 KnowVal，通过感知与知识检索模块协同实现视觉 - 语言推理。它构建驾驶知识图谱，有价值模型用于轨迹规划，实验在多基准测试表现佳，还通过定性分析验证效果。
Voices 能够让 Java 应用程序快速实现文本到语音转换
Voices 是开源文本转语音项目，为 Java 17 及以上应用设计，无需外部 API 或手动安装软件。可按字典或 OpenVoice 为不同语言生成音频，其使用 ONNX Runtime 加速，还介绍了使用方法和配置。
AI时代UI已死？Karpathy称产品要给AI开后门，还分享了自己的AI编程心法
Andrej Karpathy指出，只有复杂UI、无脚本支持、基于不透明二进制格式的软件产品，在AI时代会被淘汰。他给出风险评估清单，还分享AI编程心法，探讨编程中‘验证鸿沟’问题。
GPT-5.6仅用一天改写数学史，「双菲」五人团队8年纪录被破！
GPT-5.6一天打破陶哲轩五人团队8年大素数空隙纪录，提出「倾斜剩余类」构造法，当天通过Lean语言机器验证。此前数学家张益唐、陶哲轩等在素数分布问题上各有探索。
Visual Studio 正式支持 MCP
2025年8月微软宣布模型上下文协议（MCP）在Visual Studio正式可用，为AI智能体与外部工具连接提供一致协议。开发人员可配置文件连接，管理员能管理使用。但存在限制和安全风险。
网页藏毒，劫持Agent？你需要会「追凶」的自进化女警系统
AI Agent接入外部环境后，易遭遇隐蔽的网页藏毒、prompt注入攻击，传统防御要么成本过高要么易被新型攻击绕过，本文介绍新提出的自进化防御系统CAITLYN，验证了其防御效果。
基于Agent的SGLang Diffusion Kernel优化实践：Qwen-Image、FLUX.2和视频模型
本文记录基于Agent完成Qwen-Image、FLUX.2、Wan和SANA Video优化的过程，包括定位问题、写Kernel及遇到的坑。介绍SGLang Diffusion Kernel结构，分析数值敏感原因，展示各模型优化实践、无收益实验及验证流程。