「可验证性」共找到 4878 篇相关文章
The Batch: 897 | 科学实验室的通用语言
上海人工智能实验室发布开源的 Science Context Protocol (SCP)，它能连接 AI 智能体与多设备进行自动化科学探究。相比 MCP，其结构更安全，可管理模拟和实体实验，促进跨学科合作。
重大技术突破！微软发布BioEmu模型，蛋白质模拟从数年压缩至几小时
今天凌晨，微软CEO分享蛋白质模拟模型BioEmu，可将蛋白质动态模拟从数年缩至几小时，已在《自然》发表。它能解决传统方法难题，核心设计独特，训练整合多数据源、采用多阶段策略。
AI助手现在认路了：谷歌地图直接「长」进大脑
谷歌DeepMind为Gemini API更新，带来三大核心变化：内置工具和自定义函数可在同一次调用混用；新的「上下文环流」技术解决多步骤工作流丢上下文问题；Google Maps原生接入Gemini 3。这让Agent开发走向「工业化」。
刚刚，OpenAI最强编程智能体上线ChatGPT
OpenAI宣布在ChatGPT中引入Codex研究预览版。它是云端软件工程智能体，能并行处理多项编程任务。自今日起，部分用户可使用，后续将推付费选项。目前处于早期开发阶段，未来计划推更灵活工作流。
Claude 现在能直接操作你的 iPhone 了，无需越狱
LLM操作手机以往方案有局限，phone - harness利用macOS Sequoia的iPhone镜像功能，通过截取镜像窗口、注入操作、截屏验证实现Claude操作iPhone，还介绍安装步骤、踩坑及已知限制。
给 AI 建「流水线」，九章云极看清了什么？
AI产业竞争重心转变，当前缺智能生产度量基础设施。九章云极6月17日发布“AI工厂”战略及智算云3.0，构建从算力到智能的工程体系，试图填补空白，让智能生产可计量。
Transformer与RNN合体，谷歌打下显存门槛，解锁超长上下文
谷歌论文提出 Memory Caching 技术，通过架构机制创新赋予 RNN「可生长的记忆容量」，兼顾 Transformer 与 RNN 优势，能处理更长文本、降低推理资源门槛，实验显示有良好效果。
科学家的超级合伙人来也！星河启智「大圣」让高能动性AI「入局」真实科研
星河启智平台推出超级科研合伙人「大圣」，它构建了多模态科学基础模型等智能体协作研发能力，具备认知、行动、记忆、验证四大能力，且引入可信安全机制，推动科研生产关系重排。
ICLR 2026 | Rebuttal 是一场「带着镣铐的舞蹈」？港科 RebuttalAgent 用心智理论「读懂」审稿人
香港科技大学研究团队提出 RebuttalAgent 框架，将心智理论引入学术 Rebuttal 任务。它通过 TSR 框架拆解任务，先‘读心’再‘落笔’，能生成有说服力回复，还可作为‘思维外挂’提升小模型表现。
谷歌发布 Angular 21：Signal Forms、Zoneless 迁移和 AI 优先工具
谷歌发布 Angular 21 版本，引入 Signal Forms 提高表单响应性，推进 zoneless 变更检测，还提供 AI 驱动开发工具，有打包配置、组件库等更新，虽引不同看法，但提供清晰迁移路径。