「可验证计算」共找到 5136 篇相关文章
Python逆天改命！开源Hermes首次击败OpenAI Codex
纯Python写的开源项目Hermes Agent，在11项基准测试中以6:5战绩击败OpenAI用Rust写的Codex。它通过三大工程优化，将启动时间从701ms降至258ms。这表明在AI Agent领域，架构比语言性能更重要。
ACL 2026 Main | 不只是调用地图API，Spatial-Agent让大模型生成可执行地理分析工作流
大语言模型在空间领域应用广泛，复杂地理分析问题需组织自然语言成可执行流程。Spatial - Agent 加入 GeoFlow Graph 中间层，借用 GIScience 理论，实验显示能提升准确率，不过仍受数据质量等限制。
Google Omni首发「AI视频编辑」功能，AI视频的下一种形态终于来了！
Google Omni首发全模态AI视频编辑功能，是继Banana后AI圈重大技术进步。它能改变视频内容、重绘风格、多轮修改，支持全模态输入，精通物理概念，让AI视频更逼真。
CVPR 2026 Highlight｜让家电「在仿真中运转起来」，北大正式发布RealAppliance！
北京大学团队提出 RealAppliance 数据集与 RealAppliance - Bench 评测基准。前者收录 100 个精细家电资产，与真实产品系统多层面对齐；后者围绕五项任务评估模型家电操作规划能力，实验显示主流模型仍面临挑战。
ICML 2026 | 拒绝盲目猜token，阿里x浙大将投机解码带入弹性预算时代
随着大模型参数规模扩大，推理成本成核心瓶颈。投机解码在高并发下有问题，阿里与浙大学者提出 ECHO，将投机树构造建模为预算调度问题，通过稀疏门控和弹性预算调度提升系统收益。
太空算力排队到2030年，这家初创公司不等了：自己造火箭把数据中心送上天
5月11日，太空基础设施Cowboy Space完成2.75亿美元B轮融资，估值达20亿美元。其创始人Baiju Bhatt计划自造火箭，将上面级改造为在轨数据中心。但造火箭门槛高，轨道数据中心面临经济、延迟等难题。
今天，OpenAI杀疯了！砸40亿美元成立新公司、还祭出网络防御利器Daybreak
OpenAI宣布推出OpenAI部署公司，获超40亿美元初始投资，还收购Tomoro。其将派工程师嵌入企业，帮构建部署AI。同时推出网络防御AI Daybreak，可加速防御、保障软件安全。
原生Agent杀入画布！一站式搞定专业创作，全程可控、不抽卡
国内RunningHub平台推出原生AI智能体全能内容创作平台RHTV，它能一站式搞定专业创作，流程可控。实测显示，它能编排短剧、生成商用物料，还内置影视级工具，且依托庞大生态，能力无上限。
嘘，Claude正在「做梦」！睡一觉疯狂进化，一夜暴涨6倍战力
Anthropic在Code with Claude开发者大会上，给Claude托管智能体添加Dreaming功能，让其能自动回顾记忆、自我进化，还发布Outcomes和多智能体编排。法律AI公司Harvey用后任务完成率飙升约6倍。Anthropic还租下22万张GPU算力。
浪潮发电，海水制冷：新一代AI算力中心在海上诞生
2026 年美国初创公司 Panthalassa 获 1.4 亿美元 B 轮融资，计划将 AI 算力搬到海上，用海浪发电、海水冷却。陆地算力困境下，创业者将目光投向深海与外太空，Panthalassa 与 Starcloud 分别代表海洋与太空路径。