日报精选日报精选

OpenAI的Navier-Stokes版本包含Lean 4正式证明

HN ð113· 109 评论

OpenAI的GPT-Live-1 API允许开发人员构建同时说话和倾听的应用程序

OpenAI发布GPT-Live-1作为开发人员API。双环语音模型在交互性测试中的得分为80.1%，高于其前身的45.4%。每分钟0.05美元，并不便宜。文章OpenAI的GPT-Live-1 API允许开发人员构建同时说话和聆听的应用程序，首次出现在The Decoder上。

OpenAI杀疯了！五天内再破千禧年数学难题，霍奇猜想也要被攻破了？ - 华尔街见闻

OpenAI在公开测试版中推出Agents API，将Codex收件箱置于一个API调用后面

OpenAI已在公测版中发布了Agents API。它为开发人员提供了与运行Codex相同的工具和基础设施。OpenAI托管和维护该工具。开发人员在OpenAI管理的沙箱、他们自己的基础设施或合作伙伴沙箱中运行代理的计算。它可以部署吗？是的它面向所有开发人员进行公测。[...]OpenAI在公开测试版中推出代理API，将Codex收件箱置于一个API调用后面

NVIDIA详细信息BioNeMo推理时间表（BioIR）：8xH 100上每GPU-小时2.90倍更高的Boltz-2折叠吞吐量和58.5K残留量

英伟达详细介绍了BioNeMo推理库（BioIR），这是一个Python库，可以在保持普通PyTorch的同时加速英伟达图形处理器上的生物分子结构预测模型。在针对8xH 100 GPUs上1，000个人类二聚体目标的匹配基准测试中，BioIR加速Boltz-2每GPU-小时提供了58.5K成功折叠残基，而Torch-编译的开源实现为20.2K，获得了2.90

通过Amazon SageMaker Infference上的前置感知路由减少LLM延迟

Amazon SageMaker Infession现在提供了感知前置的路由，这是一种路由策略，可以将共享相同提示前置的请求发送到同一实例，以便KV缓存保持温暖。在Llama 3.1 70 B的基准测试中，它将P50首次代币的时间减少了77%，并将KV缓存命中率从约25%提高到80%以上。

使用Marengo 3.0在Amazon Bedrock知识库中搜索视频和图像

DeliverveLabs Marengo Embed 3.0现在作为嵌入模型普遍适用于Amazon Bedrock知识库，为视频、图像和音频内容带来完全托管的自然语言搜索。此演练展示了如何构建由Marengo 3.0支持的知识库并针对媒体运行语义查询。

黑客如何利用克劳德进行导弹、无人机群和监视，而中国实验室则挖掘克劳德用于训练数据

Anthropic的新威胁情报报告记录了克劳德八个月的虐待行为。阿里巴巴的Qwen团队、DeepSeek和Moonshot AI等中国人工智能实验室大量转发请求或提取训练数据，仅Qwen就完成了超过1.51亿次交流。演员们还使用克劳德来开发导弹软件、自主神风特攻队无人机和全国性监视系统。《黑客如何利用克劳德进行导弹、无人机群和监视，而中国实验室则挖掘克劳德以

检测和打击人工智能的滥用：2026年9月

HN ð64· 128 评论

OpenAI想知道人工智能行业放缓是否合法

人工智能领导人担心反垄断法可能会阻碍他们认为协调人工智能发展放缓的日益紧迫的努力。

衡量 AI 在情报定位与常规武器领域的能力

📌 One-Sentence Summary Anthropic 前沿红队构建的评估显示，前沿模型在照片地理定位、账号关联等情报定位任务上已匹配或超越人类专家，并能编写无人机制导软件；开放权重模型虽落后，但能力仍令人担忧。 📝 Summary Anthropic 前沿红队针对两个研究不足的滥用领域开发了新的能力评估：战术情报定位与常规武器研发。在定位方面，他