OpenAI 的 Astra for Law 是法律 AI 系统，而非新模型
OpenAI 的法律领域发布，重点不在于新的基础模型，而在于围绕模型构建的系统：领域检索、可信工具、权限、基准测试和审查路径。
最新
全部文章
OpenAI 的 Navier–Stokes 证明主张，一文读懂
OpenAI 称，AI agent 找到了一个 Navier–Stokes 奇点，并用 Lean 形式化了证明。更难的故事在后面：审查、署名，以及私有 agent 集群在数学中的力量。
最新
OpenAI 的法律领域发布，重点不在于新的基础模型，而在于围绕模型构建的系统：领域检索、可信工具、权限、基准测试和审查路径。
全部文章
OpenAI 称，AI agent 找到了一个 Navier–Stokes 奇点，并用 Lean 形式化了证明。更难的故事在后面：审查、署名，以及私有 agent 集群在数学中的力量。