Model Spec

生产力

AI可以为开源库生成数学安全证明，增强软件验证并减少漏洞。

OpenAI 更新了其模型规范（Model Spec），围绕包括忠于人类意图和可纠正性在内的五项核心价值观重构了 AI 行为准则。这些准则指出，GPT 模型应使用对话历史来推断用户的意图并披露自身的假设；模型是否遵循这些规则仍是一个悬而未决的问题。

AI 安全 • The Decoder

提示词技巧

OpenAI 更新的模型规范解释了记忆偏好应如何影响响应，以及代理何时需要获得许可；该公司承认其模型目前尚未完全满足这些期望。

DeepSeek 将其大规模模型服务背后的推理框架 DeepInfer 开源发布。该框架支持 Nvidia GPU 和华为昇腾处理器，并包含分布式推理和投机解码等功能。

基础设施 • TechNode