「可验证智能」共找到 7238 篇相关文章
程序员每十年就“要被取代”一次：这件事从 1969 年开始
文章回顾软件开发史，从 COBOL 到如今的 AI 编程工具，每次新技术都承诺让编程变简单，但始终无法绕开复杂性。指出软件开发瓶颈在处理复杂性的思考能力，提醒用新工具时保持清醒。
Nature 正刊收录！清华 FIB 实验室揭示：AI 提升科学家个人影响力，却收缩科学整体探索空间
清华大学 FIB 实验室牵头研究表明，AI 在自然科学应用广泛，提升科学家个人影响力，但使科学整体探索空间收缩。研究基于大量论文和人员数据，还提出科研智能体系统 OmniScientist 缓解问题。
刚刚，Cursor分享了他们使用Agent Coding 的最佳实践
Cursor分享了使用Agent Coding的最佳实践。编码Agent正改变软件构建方式，需理解其工作原理并形成新使用范式，文中还介绍了规划、管理上下文、扩展Agent等多方面的操作方法与策略。
OpenAI的首款硬件：是AI耳机，今年销量要冲5000万
数码博主透露OpenAI「To - go」硬件项目细节，其首款硬件是取代AirPods的音频产品「Sweetpea」，预计9月发布，首年预估出货4000 - 5000万部，由苹果前首席设计官团队操刀。
苹果重磅官宣谷歌Gemini 将支持 Siri，OpenAI 被边缘化？马斯克比奥特曼还急：这不合理！
苹果和谷歌达成多年合作协议，下一代 Apple Foundation Models 将基于谷歌 Gemini 模型及云技术构建，为 Siri 等功能提供核心支持。此合作引发行业讨论，马斯克质疑权力集中，也影响了 OpenAI 在苹果生态的角色。
告别昂贵人工标注，英伟达全自动视频理解助力小模型逆袭顶级大模型
麻省理工、英伟达等推出FoundationMotion，它是全自动数据生成流水线，能解决运动数据稀缺难题。通过自动标注生成问答数据，让小模型经微调后在运动理解上超越顶尖闭源模型，还介绍了其数据生成、问答设计等环节。
DeepSeek-OCR是「长文本理解」未来方向？中科院新基准VTCBench给出答案
DeepSeek - OCR的VTC技术可实现高压缩率，降低长文本处理成本。但视觉语言模型能否理解压缩信息存疑，中科院等推出VTCBench评估，测试模型认知极限，还推出VTCBench - Wild检测鲁棒性。
一文搞懂 Agents 评测丨Anthropic 最新万字长文
传统模型评测方法难评估 Agent 系统，Anthropic 摸索出有效评测设计方法。文章介绍评测结构、意义、方法，涵盖编程、对话等 Agent 评测，还给出打造评测路线图及与其他方法结合的建议。
Anthropic 最新博客：构建 AI Agent 评估体系完整指南
Anthropic 工程团队发布博客《Demystifying evals for AI agents》，揭秘内部对 AI Agent 的评估方法，涵盖评估结构、构建原因、常见 Agent 类型评估技术、评估非确定性处理、构建路线图及与其他方法配合策略等。
四问智谱上市｜甲子光年
2026年1月8日，智谱AI在港交所上市。本文围绕其上市提出四问：是否为“中国OpenAI”、投资人押注点、商业模式健康度及“钱路”方向。指出它应卸下标签，回归技术与商业本质。