亚马逊云科技（AWS）近日正式推出了名为Strands Labs的全新GitHub组织，旨在为开发者提供一个安全探索前沿人工智能技术的实验平台。该平台目前聚焦于三大核心项目：实体机器人、机器人仿真模拟以及AI智能体功能模块...

OpenAI近日详细公布了其AI模型在全部十道“First Proof”数学研究问题上的端到端证明尝试。First Proof是一项特定领域挑战，旨在测试AI系统能否生成完全可验证的数学论证。OpenAI的博客文章概述了该领域专家对模型提交...

OpenAI与知名加密投资及研究机构Paradigm近日联合推出了名为“EVMbench”的全新基准测试。该基准旨在系统性地评估人工智能（AI）代理在检测、修补以及利用高严重性智能合约漏洞方面的综合能力。智能合约作为区块链生态...

在GPT-5.x等大型语言模型处理文本之前，所有输入都必须经过一个关键的前置组件——分词器。分词器本质上是一个压缩层，负责将原始文本转换为一系列整数ID序列。近日，一篇深度技术分析文章通过逆向工程OpenAI开源的分...

人工智能领域迎来一则重要人事变动。知名开发者、开源项目OpenClaw的创始人Peter Steinberger近日在其个人博客宣布，他将正式加入OpenAI，其核心任务是致力于“将智能代理（Agents）带给每一个人”。这一举动标志着顶...

Cloudflare近日发布了一项名为“Markdown for Agents”的创新功能，旨在解决AI智能体在抓取和处理非结构化HTML网页内容时面临的效率瓶颈。该功能的核心在于，当AI智能体通过特定的`Accept`头部请求网页时，Cloudflare...

近期，一项由人工智能系统独立完成的安全研究引发了科技界广泛关注。该系统在2025年12月至2026年1月期间，在没有人类干预的情况下，自主执行了完整的安全研究流程，成功发现了Node.js和React这两个全球部署最广泛的J...

Meta（原Facebook）旗下研究团队近日在GitHub开源了AIRS-Bench基准测试框架，旨在系统性地量化大型语言模型（LLM）代理在真实世界人工智能研究任务中的端到端能力。该基准包含20个精心设计的机器学习研究任务，每个...